sys/arch/powerpc/booke/e500_tlb.c

1136

KASSERT((tmp_xtlb->e_hwtlb.hwtlb_mas0 & MAS0_TLBSEL) == MAS0_TLBSEL_TLB1);

sys/arch/powerpc/booke/e500_tlb.c

1148

KASSERT((text_xtlb->e_hwtlb.hwtlb_mas0 & MAS0_TLBSEL) == MAS0_TLBSEL_TLB1);

sys/arch/powerpc/booke/e500_tlb.c

1159

KASSERT((data_xtlb->e_hwtlb.hwtlb_mas0 & MAS0_TLBSEL) == MAS0_TLBSEL_TLB1);

sys/arch/powerpc/booke/e500_tlb.c

138

} else if (mas0 == MAS0_TLBSEL_TLB1) {

sys/arch/powerpc/booke/e500_tlb.c

266

hwtlb.hwtlb_mas0 = MAS0_TLBSEL_TLB1;

sys/arch/powerpc/booke/e500_tlb.c

300

hwtlb_read(MAS0_TLBSEL_TLB1, slot);

sys/arch/powerpc/booke/e500_tlb.c

326

MAS0_TLBSEL_TLB1 | __SHIFTIN(slot, MAS0_ESEL);

sys/arch/powerpc/booke/e500_tlb.c

337

KASSERT(xtlb->e_hwtlb.hwtlb_mas0 == (MAS0_TLBSEL_TLB1|__SHIFTIN(slot, MAS0_ESEL)));

sys/arch/powerpc/booke/e500_tlb.c

932

xtlb->e_hwtlb = hwtlb_read(MAS0_TLBSEL_TLB1, i);