db_mach_cpu
void db_mach_cpu(db_expr_t, bool, db_expr_t, const char *);
{ DDB_ADD_CMD("cpu", db_mach_cpu, 0,
void db_mach_cpu (db_expr_t, bool, db_expr_t, const char *);
{ DDB_ADD_CMD("cpu", db_mach_cpu, 0,
void db_mach_cpu (db_expr_t, bool, db_expr_t, const char *);
{ DDB_ADD_CMD("cpu", db_mach_cpu, 0,
static void db_mach_cpu(db_expr_t, bool, db_expr_t, const char *);
{ DDB_ADD_CMD("cpu", db_mach_cpu, 0,
{ DDB_ADD_CMD("cpu", db_mach_cpu, 0,