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