Symbol: kvmppc_xics_get_icp
arch/powerpc/include/asm/kvm_ppc.h
676
extern u64 kvmppc_xics_get_icp(struct kvm_vcpu *vcpu);
arch/powerpc/kvm/book3s.c
664
*val = get_reg_val(id, kvmppc_xics_get_icp(vcpu));