diff options
| -rw-r--r-- | ddb/db_mp.h | 1 | ||||
| -rw-r--r-- | i386/i386/db_interface.c | 4 |
2 files changed, 4 insertions, 1 deletions
diff --git a/ddb/db_mp.h b/ddb/db_mp.h index b0d221ea..e32371d4 100644 --- a/ddb/db_mp.h +++ b/ddb/db_mp.h @@ -22,6 +22,7 @@ void remote_db(void); void lock_db(void); void unlock_db(void); +void db_on(int i); #if CONSOLE_ON_MASTER void db_console(void); diff --git a/i386/i386/db_interface.c b/i386/i386/db_interface.c index 0ad1fde5..30de794e 100644 --- a/i386/i386/db_interface.c +++ b/i386/i386/db_interface.c @@ -100,7 +100,9 @@ void db_load_context(pcb_t pcb) } void cpu_interrupt_to_db(int i){ - printf("TODO: cpu_interrupt_to_db\n"); +#if NCPUS > 1 + db_on(i); +#endif } void db_get_debug_state( |