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