NCPU                9 kernel/proc.c  struct cpu cpus[NCPU];
NCPU               29 kernel/proc.h  extern struct cpu cpus[NCPU];
NCPU               11 kernel/start.c __attribute__ ((aligned (16))) char stack0[4096 * NCPU];