__kvm_tlb_flush_vmid_ipa
extern void __kvm_tlb_flush_vmid_ipa(struct kvm_s2_mmu *mmu, phys_addr_t ipa,
__kvm_tlb_flush_vmid_ipa(kern_hyp_va(mmu), ipa, level);
HANDLE_FUNC(__kvm_tlb_flush_vmid_ipa),
kvm_call_hyp(__kvm_tlb_flush_vmid_ipa, mmu,
kvm_call_hyp(__kvm_tlb_flush_vmid_ipa, mmu, ctx->addr,
kvm_call_hyp(__kvm_tlb_flush_vmid_ipa, mmu, ctx->addr,