Symbol: db_show_regs
sys/ddb/db_command.c
88
{ "registers", db_show_regs, 0, NULL },
sys/ddb/ddb.h
132
db_cmdfcn_t db_show_regs;