19 static void __tlb_switch_to_guest(struct kvm_s2_mmu *mmu,  in __tlb_switch_to_guest()  argument
56 	__load_stage2(mmu, mmu->arch);  in __tlb_switch_to_guest()
82 void __kvm_tlb_flush_vmid_ipa(struct kvm_s2_mmu *mmu,  in __kvm_tlb_flush_vmid_ipa()  argument
90 	__tlb_switch_to_guest(mmu, &cxt);  in __kvm_tlb_flush_vmid_ipa()
114 void __kvm_tlb_flush_vmid_ipa_nsh(struct kvm_s2_mmu *mmu,  in __kvm_tlb_flush_vmid_ipa_nsh()  argument
122 	__tlb_switch_to_guest(mmu, &cxt);  in __kvm_tlb_flush_vmid_ipa_nsh()
146 void __kvm_tlb_flush_vmid_range(struct kvm_s2_mmu *mmu,  in __kvm_tlb_flush_vmid_range()  argument
162 	__tlb_switch_to_guest(mmu, &cxt);  in __kvm_tlb_flush_vmid_range()
174 void __kvm_tlb_flush_vmid(struct kvm_s2_mmu *mmu)  in __kvm_tlb_flush_vmid()  argument
181 	__tlb_switch_to_guest(mmu, &cxt);  in __kvm_tlb_flush_vmid()
190 void __kvm_flush_cpu_context(struct kvm_s2_mmu *mmu)  in __kvm_flush_cpu_context()  argument
195 	__tlb_switch_to_guest(mmu, &cxt);  in __kvm_flush_cpu_context()