diff options
-rw-r--r-- | sys/ia64/ia64/db_interface.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sys/ia64/ia64/db_interface.c b/sys/ia64/ia64/db_interface.c index fef0c8f..5e8fd54 100644 --- a/sys/ia64/ia64/db_interface.c +++ b/sys/ia64/ia64/db_interface.c @@ -325,7 +325,7 @@ int kdb_trap(int vector, struct trapframe *regs) { int ddb_mode = !(boothowto & RB_GDB); - int s; + critical_t s; /* * Don't bother checking for usermode, since a benign entry @@ -368,7 +368,7 @@ kdb_trap(int vector, struct trapframe *regs) __asm __volatile("flushrs"); /* so we can look at them */ - s = splhigh(); + s = critical_enter(); #if 0 db_printf("stopping %x\n", PCPU_GET(other_cpus)); @@ -391,7 +391,7 @@ kdb_trap(int vector, struct trapframe *regs) restart_cpus(stopped_cpus); #endif - splx(s); + critical_exit(s); *regs = ddb_regs; |