exec_init         328 usr/server/boot/boot.c 	exec_init(execobj);
exec_init         187 usr/server/exec/main.c 	exec_init();