/* built in system domain protocols init function */
__BEGIN_DECLS
-int kern_event_init(void);
-int kern_control_init(void);
+int kern_event_init(void) __attribute__((section("__TEXT, initcode")));
+int kern_control_init(void) __attribute__((section("__TEXT, initcode")));
__END_DECLS
#endif /* KERNEL_PRIVATE */