Searched refs:pspb (Results 1 – 3 of 3) sorted by relevance
592 u32 pspb; member
1735 *val = get_reg_val(id, vcpu->arch.pspb); in kvmppc_get_one_reg_hv()1974 vcpu->arch.pspb = set_reg_val(id, *val); in kvmppc_set_one_reg_hv()3660 mtspr(SPRN_PSPB, vcpu->arch.pspb); in kvmhv_p9_guest_entry()3737 vcpu->arch.pspb = mfspr(SPRN_PSPB); in kvmhv_p9_guest_entry()
582 OFFSET(VCPU_PSPB, kvm_vcpu, arch.pspb); in main()