mach_msg_option_t option, mach_msg_size_t send_size,
mach_msg_timeout_t send_timeout, mach_port_name_t notify);
extern thread_t convert_port_to_thread(ipc_port_t port);
mach_msg_option_t option, mach_msg_size_t send_size,
mach_msg_timeout_t send_timeout, mach_port_name_t notify);
extern thread_t convert_port_to_thread(ipc_port_t port);