Symbol: db_mach_cpu
sys/arch/alpha/alpha/db_interface.c
85
void db_mach_cpu(db_expr_t, int, db_expr_t, char *);
sys/arch/alpha/alpha/db_interface.c
90
{ "ddbcpu", db_mach_cpu, 0, NULL },