panicking          18 kernel/printk.c volatile int panicking = 0; // printing a panic message
panicking          70 kernel/printk.c   if (panicking == 0)
panicking         131 kernel/printk.c   if (panicking == 0)
panicking         140 kernel/printk.c   panicking = 1;
panicking          45 kernel/uart.c  extern volatile int panicking; // from printk.c
panicking         105 kernel/uart.c    if (panicking == 0)
panicking         118 kernel/uart.c    if (panicking == 0)