1 files changed, 1 insertions, 1 deletions
diff --git a/console.c b/console.c
index 8681540..87c3713 100644
--- a/console.c
+++ b/console.c
@@ -290,7 +290,7 @@ panic(char *s)
   int i;
   uint pcs[10];
   
-  __asm __volatile("cli");
+  cli();
   use_console_lock = 0;
   cprintf("cpu%d: panic: ", cpu());
   cprintf(s);