Searched refs:pspb (Results 1 – 3 of 3) sorted by relevance
560 u32 pspb; member
549 OFFSET(VCPU_PSPB, kvm_vcpu, arch.pspb); in main()
1414 *val = get_reg_val(id, vcpu->arch.pspb); in kvmppc_get_one_reg_hv()1625 vcpu->arch.pspb = set_reg_val(id, *val); in kvmppc_set_one_reg_hv()
