Searched refs:tlbps (Results 1 – 6 of 6) sorted by relevance
371 *spr_val = vcpu->arch.tlbps[0]; in kvmppc_core_emulate_mfspr_e500()376 *spr_val = vcpu->arch.tlbps[1]; in kvmppc_core_emulate_mfspr_e500()
640 *val = get_reg_val(id, vcpu->arch.tlbps[i]); in kvmppc_get_one_reg_e500_tlb()705 if (reg != vcpu->arch.tlbps[i]) in kvmppc_set_one_reg_e500_tlb()884 vcpu->arch.tlbps[0] = mfspr(SPRN_TLB0PS); in vcpu_mmu_init()885 vcpu->arch.tlbps[1] = mfspr(SPRN_TLB1PS); in vcpu_mmu_init()
271 __u32 tlbps[4]; /* read-only */ member
270 __u32 tlbps[4]; /* read-only */ member
707 u32 tlbps[4]; member