Symbol: db_write_cmd
sys/ddb/db_command.c
120
void db_write_cmd(db_expr_t, int, db_expr_t, char *);
sys/ddb/db_command.c
678
{ "write", db_write_cmd, CS_MORE|CS_SET_DOT, NULL },
sys/ddb/db_command.c
679
{ "w", db_write_cmd, CS_MORE|CS_SET_DOT, NULL },