started            56 main.c           xchg(&(mycpu()->started), 1); // tell startothers() we're up
started            92 main.c             while(c->started == 0)
started             7 proc.h           volatile uint started;       // Has the CPU started?