/src/sys/arch/powerpc/powerpc/ |
db_interface.c | 84 static void db_ppc4xx_reset(db_expr_t, bool, db_expr_t, const char *); 120 { DDB_ADD_CMD("reset", db_ppc4xx_reset, 0, 573 db_ppc4xx_reset(db_expr_t addr, bool have_addr, db_expr_t count, function in typeref:typename:void
|
db_interface.c | 84 static void db_ppc4xx_reset(db_expr_t, bool, db_expr_t, const char *); 120 { DDB_ADD_CMD("reset", db_ppc4xx_reset, 0, 573 db_ppc4xx_reset(db_expr_t addr, bool have_addr, db_expr_t count, function in typeref:typename:void
|