Searched refs:pspb (Results 1 – 3 of 3) sorted by relevance
585 u32 pspb; member
1681 *val = get_reg_val(id, vcpu->arch.pspb); in kvmppc_get_one_reg_hv()1902 vcpu->arch.pspb = set_reg_val(id, *val); in kvmppc_set_one_reg_hv()3568 mtspr(SPRN_PSPB, vcpu->arch.pspb); in kvmhv_p9_guest_entry()3641 vcpu->arch.pspb = mfspr(SPRN_PSPB); in kvmhv_p9_guest_entry()
559 OFFSET(VCPU_PSPB, kvm_vcpu, arch.pspb); in main()
