On Sat, 16 May 2015, Maciej W. Rozycki wrote: > > + if (!(entrylo0 & 1) && (entryhi & 0xff) != asid) > > Hmm, it looks like r3k_dump_tlb.c will need a similar update. I suggest > using _PAGE_GLOBAL and ASID_MASK rather than hardcoded 1 and 0xff. Umm, _PAGE_GLOBAL won't work here as the R4k TLB model uses `pte_to_entrylo' that shifts PTEs. So it looks we need another set of macros (beyond ASID_MASK) to describe bits in EntryLo registers. Maciej