Symbol: db_ctx_cmd
sys/arch/sparc64/sparc64/db_interface.c
1046
{ DDB_ADD_CMD("ctx", db_ctx_cmd, 0,
sys/arch/sparc64/sparc64/db_interface.c
108
void db_ctx_cmd(db_expr_t, bool, db_expr_t, const char *);