Symbol: db_write_cmd
sys/ddb/db_command.c
425
{ DDB_ADD_CMD("w", db_write_cmd, CS_MORE|CS_SET_DOT,
sys/ddb/db_command.c
432
{ DDB_ADD_CMD("write", db_write_cmd, CS_MORE|CS_SET_DOT,
sys/ddb/db_extern.h
63
void db_write_cmd(db_expr_t, bool, db_expr_t, const char *);