DB_SHOW_COMMAND
DB_SHOW_COMMAND(tlb0, tlb0_print_tlbentries)
DB_SHOW_COMMAND(tlb1, tlb1_print_tlbentries)