db_dump_dtlb
{ DDB_ADD_CMD("dtlb", db_dump_dtlb, 0,
void db_dump_dtlb(db_expr_t, bool, db_expr_t, const char *);