diff options
Diffstat (limited to 'ddb')
| -rw-r--r-- | ddb/db_trap.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ddb/db_trap.c b/ddb/db_trap.c index 7e10731..cbb6bde 100644 --- a/ddb/db_trap.c +++ b/ddb/db_trap.c @@ -45,6 +45,7 @@ #include <ddb/db_trap.h> #include <ddb/db_run.h> #include <machine/db_interface.h> +#include <kern/lock.h> extern jmp_buf_t *db_recover; @@ -65,6 +66,8 @@ db_task_trap( boolean_t watchpt; task_t task_space; + check_simple_locks_disable(); + task_space = db_target_space(current_thread(), user_space); bkpt = IS_BREAKPOINT_TRAP(type, code); watchpt = IS_WATCHPOINT_TRAP(type, code); @@ -97,6 +100,7 @@ db_task_trap( db_command_loop(); } + check_simple_locks_enable(); db_restart_at_pc(watchpt, task_space); } |