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