userinit          102 kernel/defs.h  void            userinit(void);
userinit           31 kernel/main.c      userinit();      // first user process