panicked           18 kernel/printf.c volatile int panicked = 0;
panicked          168 kernel/printf.c   panicked = 1; // freeze uart output from other CPUs
panicked           48 kernel/uart.c  extern volatile int panicked; // from printf.c
panicked           91 kernel/uart.c    if(panicked){
panicked          116 kernel/uart.c    if(panicked){