kvmppc_xive_set_icp  675 arch/powerpc/include/asm/kvm_ppc.h extern int kvmppc_xive_set_icp(struct kvm_vcpu *vcpu, u64 icpval);
kvmppc_xive_set_icp  731 arch/powerpc/kvm/book3s.c 				r = kvmppc_xive_set_icp(vcpu, set_reg_val(id, *val));