cmd_dcmds
"list available debugger commands", cmd_dcmds, cmd_dcmds_help },
extern int cmd_dcmds(uintptr_t, uint_t, int, const mdb_arg_t *);