send_bootmsg      289 usr/server/boot/boot.c 	send_bootmsg(execobj);
send_bootmsg      290 usr/server/boot/boot.c 	send_bootmsg(procobj);
send_bootmsg      291 usr/server/boot/boot.c 	send_bootmsg(fsobj);