18 				  struct tlb_inv_context *cxt)  in __tlb_switch_to_guest()  argument
30 		val = cxt->tcr = read_sysreg_el1(SYS_TCR);  in __tlb_switch_to_guest()
46 static void __tlb_switch_to_host(struct tlb_inv_context *cxt)  in __tlb_switch_to_host()  argument
54 		write_sysreg_el1(cxt->tcr, SYS_TCR);  in __tlb_switch_to_host()
61 	struct tlb_inv_context cxt;  in __kvm_tlb_flush_vmid_ipa()  local
66 	__tlb_switch_to_guest(mmu, &cxt);  in __kvm_tlb_flush_vmid_ipa()
109 	__tlb_switch_to_host(&cxt);  in __kvm_tlb_flush_vmid_ipa()
114 	struct tlb_inv_context cxt;  in __kvm_tlb_flush_vmid()  local
119 	__tlb_switch_to_guest(mmu, &cxt);  in __kvm_tlb_flush_vmid()
125 	__tlb_switch_to_host(&cxt);  in __kvm_tlb_flush_vmid()
130 	struct tlb_inv_context cxt;  in __kvm_flush_cpu_context()  local
133 	__tlb_switch_to_guest(mmu, &cxt);  in __kvm_flush_cpu_context()
140 	__tlb_switch_to_host(&cxt);  in __kvm_flush_cpu_context()