Symbol: kvmppc_xive_pull_vcpu
arch/powerpc/include/asm/kvm_ppc.h
741
extern void kvmppc_xive_pull_vcpu(struct kvm_vcpu *vcpu);
arch/powerpc/kvm/book3s_hv.c
4506
kvmppc_xive_pull_vcpu(vcpu);
arch/powerpc/kvm/book3s_xive.c
782
EXPORT_SYMBOL_GPL(kvmppc_xive_pull_vcpu);