Symbol: db_ppc4xx_dcr
sys/arch/powerpc/powerpc/db_interface.c
131
{ DDB_ADD_CMD("dcr", db_ppc4xx_dcr, CS_MORE|CS_SET_DOT,
sys/arch/powerpc/powerpc/db_interface.c
89
static void db_ppc4xx_dcr(db_expr_t, bool, db_expr_t, const char *);