Symbol: kvmppc_xive_push_vcpu
arch/powerpc/include/asm/kvm_ppc.h
740
extern void kvmppc_xive_push_vcpu(struct kvm_vcpu *vcpu);
arch/powerpc/kvm/book3s_hv.c
4454
kvmppc_xive_push_vcpu(vcpu);
arch/powerpc/kvm/book3s_xive.c
750
EXPORT_SYMBOL_GPL(kvmppc_xive_push_vcpu);