push_pending_to_hw  355 arch/powerpc/kvm/book3s_xive_template.c static void GLUE(X_PFX,push_pending_to_hw)(struct kvmppc_xive_vcpu *xc)
push_pending_to_hw  469 arch/powerpc/kvm/book3s_xive_template.c 		GLUE(X_PFX,push_pending_to_hw)(xc);
push_pending_to_hw  593 arch/powerpc/kvm/book3s_xive_template.c 	GLUE(X_PFX,push_pending_to_hw)(xc);