Searched refs:kvmppc_xics_get_icp (Results 1 – 3 of 3) sorted by relevance
444 extern u64 kvmppc_xics_get_icp(struct kvm_vcpu *vcpu);
579 *val = get_reg_val(id, kvmppc_xics_get_icp(vcpu)); in kvmppc_get_one_reg()
1061 u64 kvmppc_xics_get_icp(struct kvm_vcpu *vcpu) in kvmppc_xics_get_icp() function