<dec f='src/src/sys/ddb/db_interface.h' l='44' type='void db_kgdb_cmd(db_expr_t , _Bool , db_expr_t , const char * )'/>
<doc f='src/src/sys/ddb/db_interface.h' l='43'>/* ddb/db_xxx.c */</doc>
