kvmhv_do_nested_tlbie  302 arch/powerpc/include/asm/kvm_book3s.h long kvmhv_do_nested_tlbie(struct kvm_vcpu *vcpu);
kvmhv_do_nested_tlbie 1069 arch/powerpc/kvm/book3s_hv.c 			ret = kvmhv_do_nested_tlbie(vcpu);