PS_SETINIT 304 usr/server/boot/boot.c m.hdr.code = PS_SETINIT; PS_SETINIT 110 usr/server/proc/main.c {PS_SETINIT, proc_setinit},