20 				  struct tlb_inv_context *cxt)  in __tlb_switch_to_guest()  argument
24 	local_irq_save(cxt->flags);  in __tlb_switch_to_guest()
36 		val = cxt->tcr = read_sysreg_el1(SYS_TCR);  in __tlb_switch_to_guest()
39 		val = cxt->sctlr = read_sysreg_el1(SYS_SCTLR);  in __tlb_switch_to_guest()
63 static void __tlb_switch_to_host(struct tlb_inv_context *cxt)  in __tlb_switch_to_host()  argument
75 		write_sysreg_el1(cxt->tcr, SYS_TCR);  in __tlb_switch_to_host()
76 		write_sysreg_el1(cxt->sctlr, SYS_SCTLR);  in __tlb_switch_to_host()
79 	local_irq_restore(cxt->flags);  in __tlb_switch_to_host()
85 	struct tlb_inv_context cxt;  in __kvm_tlb_flush_vmid_ipa()  local
90 	__tlb_switch_to_guest(mmu, &cxt);  in __kvm_tlb_flush_vmid_ipa()
111 	__tlb_switch_to_host(&cxt);  in __kvm_tlb_flush_vmid_ipa()
116 	struct tlb_inv_context cxt;  in __kvm_tlb_flush_vmid()  local
121 	__tlb_switch_to_guest(mmu, &cxt);  in __kvm_tlb_flush_vmid()
127 	__tlb_switch_to_host(&cxt);  in __kvm_tlb_flush_vmid()
132 	struct tlb_inv_context cxt;  in __kvm_flush_cpu_context()  local
135 	__tlb_switch_to_guest(mmu, &cxt);  in __kvm_flush_cpu_context()
142 	__tlb_switch_to_host(&cxt);  in __kvm_flush_cpu_context()