Searched refs:tlbps (Results 1 – 5 of 5) sorted by relevance
368 *spr_val = vcpu->arch.tlbps[0]; in kvmppc_core_emulate_mfspr_e500()373 *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()891 vcpu->arch.tlbps[0] = mfspr(SPRN_TLB0PS); in vcpu_mmu_init()892 vcpu->arch.tlbps[1] = mfspr(SPRN_TLB1PS); in vcpu_mmu_init()
271 __u32 tlbps[4]; /* read-only */ member
668 u32 tlbps[4]; member
