db_dump_trap
{ DDB_ADD_CMD("frame", db_dump_trap, 0,
void db_dump_trap(db_expr_t, bool, db_expr_t, const char *);
void db_dump_trap(db_expr_t, bool, db_expr_t, const char *);
{ DDB_ADD_CMD("tf", db_dump_trap, 0,