panicking          18 kernel/printf.c volatile int panicking = 0; // printing a panic message
panicking          70 kernel/printf.c   if(panicking == 0)
panicking         130 kernel/printf.c   if(panicking == 0)
panicking         139 kernel/printf.c   panicking = 1;
panicking          46 kernel/uart.c  extern volatile int panicking; // from printf.c
panicking         109 kernel/uart.c    if(panicking == 0)
panicking         122 kernel/uart.c    if(panicking == 0)