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));