db_print_tlb
db_print_tlb(tlbno, tlb.tlb_lo0);
db_print_tlb(tlbno, tlb.tlb_lo1);
void db_print_tlb(uint, uint64_t);