+ panic("bsd_init: Failed to allocare bsd pageable map");
+ }
+
+ /* Initialize the execve() semaphore */
+ {
+ kern_return_t kret;
+ int value;
+
+ value = BSD_PAGABLE_MAP_SIZE / NCARGS;
+
+ kret = semaphore_create(kernel_task, &execve_semaphore,
+ SYNC_POLICY_FIFO, value);
+ if (kret != KERN_SUCCESS)
+ panic("bsd_init: Failed to create execve semaphore");