+#include <sys/monotonic.h>
+#include <sys/reason.h>
+
+#include <mach/mach_types.h>
+#include <mach/vm_prot.h>
+#include <mach/semaphore.h>
+#include <mach/sync_policy.h>
+#include <kern/clock.h>
+#include <mach/kern_return.h>
+#include <mach/thread_act.h> /* for thread_resume() */
+#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/eventhandler.h> /* for eventhandler_init() */
+#include <sys/kern_memorystatus.h> /* for memorystatus_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 <net/iptap.h> /* for iptap_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 <net/if_gif.h> /* for gif_init() */
+#include <vm/vm_protos.h> /* for vnode_pager_bootstrap() */
+#include <miscfs/devfs/devfsdefs.h> /* for devfs_kernel_mount() */
+#include <vm/vm_kern.h> /* for kmem_suballoc() */
+#include <sys/semaphore.h> /* for psem_lock_init() */
+#include <sys/msgbuf.h> /* for log_setsize() */
+#include <sys/tty.h> /* for tty_init() */
+#include <sys/proc_uuid_policy.h> /* proc_uuid_policy_init() */
+#include <netinet/flow_divert.h> /* flow_divert_init() */
+#include <net/content_filter.h> /* for cfil_init() */
+#include <net/necp.h> /* for necp_init() */
+#include <net/network_agent.h> /* for netagent_init() */
+#include <net/packet_mangler.h> /* for pkt_mnglr_init() */
+#include <net/if_utun.h> /* for utun_register_control() */
+#include <net/if_ipsec.h> /* for ipsec_register_control() */
+#include <net/net_str_id.h> /* for net_str_id_init() */
+#include <net/netsrc.h> /* for netsrc_init() */
+#include <net/ntstat.h> /* for nstat_init() */
+#include <netinet/tcp_cc.h> /* for tcp_cc_init() */
+#include <netinet/mptcp_var.h> /* for mptcp_control_register() */
+#include <net/nwk_wq.h> /* for nwk_wq_init */
+#include <kern/assert.h> /* for assert() */
+#include <sys/kern_overrides.h> /* for init_system_override() */
+
+#include <net/init.h>
+
+#if CONFIG_MACF
+#include <security/mac_framework.h>
+#include <security/mac_internal.h> /* mac_init_bsd() */
+#include <security/mac_mach_internal.h> /* mac_update_task_label() */
+#endif