Symbol: db_ppc4xx_useracc
sys/arch/powerpc/powerpc/db_interface.c
136
{ DDB_ADD_CMD("user", db_ppc4xx_useracc, 0,
sys/arch/powerpc/powerpc/db_interface.c
93
static void db_ppc4xx_useracc(db_expr_t, bool, db_expr_t, const char *);