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