Symbol: db_ppcbooke_reset
sys/arch/powerpc/powerpc/db_interface.c
143
{ DDB_ADD_CMD("reset", db_ppcbooke_reset, 0,
sys/arch/powerpc/powerpc/db_interface.c
98
static void db_ppcbooke_reset(db_expr_t, bool, db_expr_t, const char *);