Symbol: db_print_cmd
sys/ddb/db_command.c
671
{ "print", db_print_cmd, 0, NULL },
sys/ddb/db_command.c
672
{ "p", db_print_cmd, 0, NULL },
sys/ddb/db_ctf.c
734
db_print_cmd(addr, 0, 0, modif);
sys/ddb/db_extern.h
40
void db_print_cmd(db_expr_t, int, db_expr_t, char *);