Searched refs:tlbps (Results 1 – 4 of 4) sorted by relevance
375 *spr_val = vcpu->arch.tlbps[0]; in kvmppc_core_emulate_mfspr_e500()380 *spr_val = vcpu->arch.tlbps[1]; in kvmppc_core_emulate_mfspr_e500()
647 *val = get_reg_val(id, vcpu->arch.tlbps[i]); in kvmppc_get_one_reg_e500_tlb()712 if (reg != vcpu->arch.tlbps[i]) in kvmppc_set_one_reg_e500_tlb()890 vcpu->arch.tlbps[0] = mfspr(SPRN_TLB0PS); in vcpu_mmu_init()891 vcpu->arch.tlbps[1] = mfspr(SPRN_TLB1PS); in vcpu_mmu_init()
261 __u32 tlbps[4]; /* read-only */ member
594 u32 tlbps[4]; member