#define mach_msg_rpc_from_kernel mach_msg_rpc_from_kernel_proper
+#ifdef XNU_KERNEL_PRIVATE
+extern mach_msg_return_t mach_msg_send_from_kernel_with_options_legacy(
+ mach_msg_header_t *msg,
+ mach_msg_size_t send_size,
+ mach_msg_option_t option,
+ mach_msg_timeout_t timeout_val);
+#endif /* XNU_KERNEL_PRIVATE */
+
extern mach_msg_return_t mach_msg_send_from_kernel_with_options(
mach_msg_header_t *msg,
mach_msg_size_t send_size,
extern void mach_msg_receive_continue(void);
/* Initialize kernel server dispatch table */
-extern void mig_init(void) __attribute__((section("__TEXT, initcode")));
+extern void mig_init(void);
/*
* Kernel implementation of the MIG object base class