Lines Matching defs:bsd_init
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",