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){