bsd/kern/bsd_init.c

276 void bsd_init(void) __attribute__((section("__TEXT, initcode")));
392 bsd_init(void)
404 #define bsd_init_kprintf(x...) // kprintf("bsd_init: " x)
410 		panic("bsd_init: Failed to allocate kernel funnel");
481 		printf("bsd_init: We have a problem, "
650 			panic("bsd_init: Failed to allocate bsd pageable map");
667 		panic("bsd_init: Failed to create execve semaphore");
872 				printf("bsd_init: failed to mount network root, error %d, %s\n",
893 		panic("bsd_init: cannot find root vnode: %s", PE_boot_args());
909 				printf("bsd_init: NetBoot could not find root, error %d: %s\n",