TLB_BITS
snprintb(buf, sizeof(buf), TLB_BITS, hpt->hpt_tlbprot);
snprintb(buf, sizeof(buf), TLB_BITS,