*/
/* Initialize kernel */
-extern void kernel_bootstrap(void) __attribute__((section("__TEXT, initcode")));
+extern void kernel_early_bootstrap(void);
+extern void kernel_bootstrap(void);
/* Initialize machine dependent stuff */
extern void machine_init(void);
/* BSD subsystem initialization */
extern void bsd_init(void);
+extern void bsd_early_init(void);
+
+/* codesigning subsystem initialization */
+extern void cs_init(void);
#endif /* MACH_BSD */