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