tlb_dump
tlb_dump(void (*pr)(const char *, ...))
tlb_dump(db_printf);
void tlb_dump(void (*)(const char *, ...));