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)