SPR_TLB1CFG
e500_tlb_print(self, "tlb1", mfspr(SPR_TLB1CFG));
__asm("mfspr %0, %1" : "=r"(tlb1cfg) : "n"(SPR_TLB1CFG));