Symbol: db_ppcbooke_tf
sys/arch/powerpc/powerpc/db_interface.c
100
static void db_ppcbooke_tf(db_expr_t, bool, db_expr_t, const char *);
sys/arch/powerpc/powerpc/db_interface.c
145
{ DDB_ADD_CMD("tf", db_ppcbooke_tf, 0,