exec_init         181 usr/server/boot/boot.c exec_init(object_t execobj)
exec_init         139 usr/server/exec/main.c exec_init(void)