__kvm_tlb_flush_local_vmid   59 arch/arm/include/asm/kvm_asm.h extern void __kvm_tlb_flush_local_vmid(struct kvm_vcpu *vcpu);
__kvm_tlb_flush_local_vmid   63 arch/arm64/include/asm/kvm_asm.h extern void __kvm_tlb_flush_local_vmid(struct kvm_vcpu *vcpu);
__kvm_tlb_flush_local_vmid  380 virt/kvm/arm/arm.c 		kvm_call_hyp(__kvm_tlb_flush_local_vmid, vcpu);