void db_machine_init(void) { #ifdef MULTIPROCESSOR int i; #endif db_machine_commands_install(db_machine_command_table); #ifdef MULTIPROCESSOR for (i = 0; i < MAXCPUS; i++) { if (cpu_info[i] != NULL) cpu_info[i]->ci_ddb_paused = CI_DDB_RUNNING; } #endif }
void db_machine_init(void) { db_machine_commands_install(db_machine_command_table); }