panicked 19 kernel/printf.c volatile int panicked = 0; // spinning forever at end of a panic panicked 142 kernel/printf.c panicked = 1; // freeze uart output from other CPUs panicked 47 kernel/uart.c extern volatile int panicked; // from printf.c panicked 112 kernel/uart.c if(panicked){