panicked           20 console.c      static int panicked = 0;
panicked          121 console.c        panicked = 1; // freeze other CPU
panicked          168 console.c        if(panicked){