panicked           19 kernel/printk.c volatile int panicked = 0;  // spinning forever at end of a panic
panicked          143 kernel/printk.c   panicked = 1; // freeze uart output from other CPUs
panicked           46 kernel/uart.c  extern volatile int panicked;  // from printk.c
panicked          108 kernel/uart.c    if (panicked) {