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