__kvm_tlb_flush_vmid
extern void __kvm_tlb_flush_vmid(struct kvm_s2_mmu *mmu);
__kvm_tlb_flush_vmid(kern_hyp_va(mmu));
__kvm_tlb_flush_vmid(&hyp_vm->kvm.arch.mmu);
HANDLE_FUNC(__kvm_tlb_flush_vmid),
__kvm_tlb_flush_vmid(&hyp_vm->kvm.arch.mmu);
kvm_call_hyp(__kvm_tlb_flush_vmid, mmu);
kvm_call_hyp(__kvm_tlb_flush_vmid, &kvm->arch.mmu);