Symbol: db_ppcbooke_splhist
sys/arch/powerpc/powerpc/db_interface.c
149
{ DDB_ADD_CMD("splhist", db_ppcbooke_splhist, 0,
sys/arch/powerpc/powerpc/db_interface.c
99
static void db_ppcbooke_splhist(db_expr_t, bool, db_expr_t, const char *);