userinit          119 defs.h         void            userinit(void);
userinit           36 main.c           userinit();      // first user process