Change the kernel panic in frontend syscall to a warning.
authorDavid Zhu <yuzhu@cs.berkeley.edu>
Wed, 28 Apr 2010 03:08:22 +0000 (20:08 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:35:45 +0000 (17:35 -0700)
kern/src/frontend.c

index 1e336c7..a6e9957 100644 (file)
@@ -243,7 +243,8 @@ int32_t frontend_syscall(pid_t pid, int32_t syscall_num,
 #endif
 
 #ifdef __i386__
-       assert(irq_is_enabled());
+       if (!irq_is_enabled())
+               warn("IRQ is disabled in frontend_syscall %d for proc %d\n", syscall_num, pid);
 #endif
 
        static spinlock_t lock = SPINLOCK_INITIALIZER;