#include <kern/lock.h>
#include <kern/ipc_kobject.h>
#include <kern/wait_queue.h>
-#include <kern/thread_pool.h>
#include <ipc/ipc_object.h>
#include <ipc/ipc_mqueue.h>
} data;
ipc_kobject_t ip_kobject;
- struct rpc_subsystem * ip_subsystem;
mach_port_mscount_t ip_mscount;
mach_port_rights_t ip_srights;
mach_port_rights_t ip_sorights;
#define ip_bits ip_object.io_bits
#define ip_receiver_name ip_object.io_receiver_name
-#define ip_thread_pool ip_object.io_thread_pool
-
#define ip_receiver data.receiver
#define ip_destination data.destination
#define ip_timestamp data.timestamp
ipc_space_t space,
mach_port_name_t name);
+/* Make a naked send right from a receive right - port locked and active */
+extern ipc_port_t ipc_port_make_send_locked(
+ ipc_port_t port);
+
/* Make a naked send right from a receive right */
extern ipc_port_t ipc_port_make_send(
ipc_port_t port);