__kvm_tlb_flush_vmid_range
extern void __kvm_tlb_flush_vmid_range(struct kvm_s2_mmu *mmu,
__kvm_tlb_flush_vmid_range(kern_hyp_va(mmu), start, pages);
HANDLE_FUNC(__kvm_tlb_flush_vmid_range),
kvm_call_hyp(__kvm_tlb_flush_vmid_range, mmu, addr, inval_pages);