userinit          117 defs.h         void            userinit(void);
userinit           39 main.c           userinit();      // first user process