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},