Searched refs:tlbps (Results 1 – 4 of 4) sorted by relevance
372 *spr_val = vcpu->arch.tlbps[0]; in kvmppc_core_emulate_mfspr_e500()377 *spr_val = vcpu->arch.tlbps[1]; in kvmppc_core_emulate_mfspr_e500()
644 *val = get_reg_val(id, vcpu->arch.tlbps[i]); in kvmppc_get_one_reg_e500_tlb()709 if (reg != vcpu->arch.tlbps[i]) in kvmppc_set_one_reg_e500_tlb()888 vcpu->arch.tlbps[0] = mfspr(SPRN_TLB0PS); in vcpu_mmu_init()889 vcpu->arch.tlbps[1] = mfspr(SPRN_TLB1PS); in vcpu_mmu_init()
271 __u32 tlbps[4]; /* read-only */ member
694 u32 tlbps[4]; member