+#include <mach/thread_act.h> /* for thread_resume() */
+#include <mach/task.h> /* for task_set_exception_ports() */
+#include <sys/ux_exception.h> /* for ux_handler() */
+#include <sys/ubc_internal.h> /* for ubc_init() */
+#include <sys/mcache.h> /* for mcache_init() */
+#include <sys/mbuf.h> /* for mbinit() */
+#include <sys/event.h> /* for knote_init() */
+#include <sys/aio_kern.h> /* for aio_init() */
+#include <sys/semaphore.h> /* for psem_cache_init() */
+#include <net/dlil.h> /* for dlil_init() */
+#include <net/kpi_protocol.h> /* for proto_kpi_init() */
+#include <sys/pipe.h> /* for pipeinit() */
+#include <sys/socketvar.h> /* for socketinit() */
+#include <sys/protosw.h> /* for domaininit() */
+#include <kern/sched_prim.h> /* for thread_wakeup() */
+#include <net/if_ether.h> /* for ether_family_init() */
+#include <vm/vm_protos.h> /* for vnode_pager_bootstrap() */
+#include <miscfs/devfs/devfsdefs.h> /* for devfs_kernel_mount() */
+#include <mach/host_priv.h> /* for host_set_exception_ports() */
+#include <kern/host.h> /* for host_priv_self() */
+#include <vm/vm_kern.h> /* for kmem_suballoc() */
+#include <sys/semaphore.h> /* for psem_lock_init() */
+#include <sys/msgbuf.h> /* for log_setsize() */