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