#include <norma_vm.h>
#include <mach/mach_types.h>
#include <mach/boolean.h>
#include <mach/kern_return.h>
#include <mach/message.h>
#include <mach/port.h>
#include <mach/vm_map.h>
#include <mach/mach_vm.h>
#include <mach/vm_statistics.h>
#include <kern/kern_types.h>
#include <kern/assert.h>
#include <kern/ipc_kobject.h>
#include <kern/kalloc.h>
#include <kern/zalloc.h>
#include <kern/processor.h>
#include <kern/thread.h>
#include <kern/sched_prim.h>
#include <kern/spl.h>
#include <kern/misc_protos.h>
#include <kern/counters.h>
#include <kern/cpu_data.h>
#include <vm/vm_map.h>
#include <vm/vm_object.h>
#include <vm/vm_kern.h>
#include <ipc/port.h>
#include <ipc/ipc_types.h>
#include <ipc/ipc_entry.h>
#include <ipc/ipc_kmsg.h>
#include <ipc/ipc_notify.h>
#include <ipc/ipc_object.h>
#include <ipc/ipc_space.h>
#include <ipc/ipc_port.h>
#include <ipc/ipc_right.h>
#include <ipc/ipc_hash.h>
#include <ipc/ipc_table.h>
#include <security/mac_mach_internal.h>
#include <string.h>
#ifdef ppc
#include <ppc/Firmware.h>
#include <ppc/low_trace.h>
#endif
extern vm_map_t ipc_kernel_copy_map;
extern vm_size_t ipc_kmsg_max_vm_space;
extern vm_size_t msg_ool_size_small;
#define MSG_OOL_SIZE_SMALL msg_ool_size_small
#if defined(__LP64__)
#define MAP_SIZE_DIFFERS(map) (map->max_offset < MACH_VM_MAX_ADDRESS)
#define OTHER_OOL_DESCRIPTOR mach_msg_ool_descriptor32_t
#define OTHER_OOL_PORTS_DESCRIPTOR mach_msg_ool_ports_descriptor32_t
#else
#define MAP_SIZE_DIFFERS(map) (map->max_offset > VM_MAX_ADDRESS)
#define OTHER_OOL_DESCRIPTOR mach_msg_ool_descriptor64_t
#define OTHER_OOL_PORTS_DESCRIPTOR mach_msg_ool_ports_descriptor64_t
#endif
#define DESC_SIZE_ADJUSTMENT (sizeof(OTHER_OOL_DESCRIPTOR) - \
sizeof(mach_msg_ool_descriptor_t))
#define SKIP_PORT_DESCRIPTORS(s, c) \
MACRO_BEGIN \
if ((s) != MACH_MSG_DESCRIPTOR_NULL) { \
while ((c) > 0) { \
if ((s)->type.type != MACH_MSG_PORT_DESCRIPTOR) \
break; \
(s)++; (c)--; \
} \
if (c == 0) \
(s) = MACH_MSG_DESCRIPTOR_NULL; \
} \
MACRO_END
#define INCREMENT_SCATTER(s, c, d) \
MACRO_BEGIN \
if ((s) != MACH_MSG_DESCRIPTOR_NULL) { \
s = (d) ? (mach_msg_descriptor_t *) \
((OTHER_OOL_DESCRIPTOR *)(s) + 1) : \
(s + 1); \
(c)--; \
} \
MACRO_END
zone_t ipc_kmsg_zone;
void ipc_kmsg_clean(
ipc_kmsg_t kmsg);
void ipc_kmsg_clean_body(
ipc_kmsg_t kmsg,
mach_msg_type_number_t number,
mach_msg_descriptor_t *desc);
void ipc_kmsg_clean_partial(
ipc_kmsg_t kmsg,
mach_msg_type_number_t number,
mach_msg_descriptor_t *desc,
vm_offset_t paddr,
vm_size_t length);
mach_msg_return_t ipc_kmsg_copyin_body(
ipc_kmsg_t kmsg,
ipc_space_t space,
vm_map_t map);
ipc_kmsg_t
ipc_kmsg_alloc(
mach_msg_size_t msg_and_trailer_size)
{
mach_msg_size_t max_expanded_size;
ipc_kmsg_t kmsg;
#if !defined(__LP64__)
mach_msg_size_t size = msg_and_trailer_size - MAX_TRAILER_SIZE;
if (size > sizeof(mach_msg_base_t)) {
mach_msg_size_t max_desc = ((size - sizeof(mach_msg_base_t)) /
sizeof(mach_msg_ool_descriptor_t)) *
DESC_SIZE_ADJUSTMENT;
if (msg_and_trailer_size >= MACH_MSG_SIZE_MAX - max_desc)
return IKM_NULL;
max_expanded_size = msg_and_trailer_size + max_desc;
} else
#endif
max_expanded_size = msg_and_trailer_size;
if (max_expanded_size > ikm_less_overhead(MACH_MSG_SIZE_MAX))
return IKM_NULL;
else if (max_expanded_size < IKM_SAVED_MSG_SIZE)
max_expanded_size = IKM_SAVED_MSG_SIZE;
if (max_expanded_size == IKM_SAVED_MSG_SIZE) {
struct ikm_cache *cache;
unsigned int i;
disable_preemption();
cache = &PROCESSOR_DATA(current_processor(), ikm_cache);
if ((i = cache->avail) > 0) {
assert(i <= IKM_STASH);
kmsg = cache->entries[--i];
cache->avail = i;
ikm_check_init(kmsg, max_expanded_size);
enable_preemption();
kmsg->ikm_header = (mach_msg_header_t *)
((vm_offset_t)(kmsg + 1) +
max_expanded_size -
msg_and_trailer_size);
return (kmsg);
}
enable_preemption();
kmsg = (ipc_kmsg_t)zalloc(ipc_kmsg_zone);
} else {
kmsg = (ipc_kmsg_t)kalloc(ikm_plus_overhead(max_expanded_size));
}
if (kmsg != IKM_NULL) {
ikm_init(kmsg, max_expanded_size);
kmsg->ikm_header = (mach_msg_header_t *)
((vm_offset_t)(kmsg + 1) +
max_expanded_size -
msg_and_trailer_size);
}
return(kmsg);
}
void
ipc_kmsg_free(
ipc_kmsg_t kmsg)
{
mach_msg_size_t size = kmsg->ikm_size;
ipc_port_t port;
#if CONFIG_MACF_MACH
if (kmsg->ikm_sender != NULL) {
task_deallocate(kmsg->ikm_sender);
kmsg->ikm_sender = NULL;
}
#endif
port = ikm_prealloc_inuse_port(kmsg);
if (port != IP_NULL) {
ip_lock(port);
ikm_prealloc_clear_inuse(kmsg, port);
if (ip_active(port) && (port->ip_premsg == kmsg)) {
assert(IP_PREALLOC(port));
ip_unlock(port);
return;
}
ip_check_unlock(port);
}
if (kmsg->ikm_size == IKM_SAVED_MSG_SIZE) {
struct ikm_cache *cache;
unsigned int i;
disable_preemption();
cache = &PROCESSOR_DATA(current_processor(), ikm_cache);
if ((i = cache->avail) < IKM_STASH) {
cache->entries[i] = kmsg;
cache->avail = i + 1;
enable_preemption();
return;
}
enable_preemption();
zfree(ipc_kmsg_zone, kmsg);
return;
}
kfree(kmsg, ikm_plus_overhead(size));
}
void
ipc_kmsg_enqueue(
ipc_kmsg_queue_t queue,
ipc_kmsg_t kmsg)
{
ipc_kmsg_enqueue_macro(queue, kmsg);
}
ipc_kmsg_t
ipc_kmsg_dequeue(
ipc_kmsg_queue_t queue)
{
ipc_kmsg_t first;
first = ipc_kmsg_queue_first(queue);
if (first != IKM_NULL)
ipc_kmsg_rmqueue_first_macro(queue, first);
return first;
}
void
ipc_kmsg_rmqueue(
ipc_kmsg_queue_t queue,
ipc_kmsg_t kmsg)
{
ipc_kmsg_t next, prev;
assert(queue->ikmq_base != IKM_NULL);
next = kmsg->ikm_next;
prev = kmsg->ikm_prev;
if (next == kmsg) {
assert(prev == kmsg);
assert(queue->ikmq_base == kmsg);
queue->ikmq_base = IKM_NULL;
} else {
if (queue->ikmq_base == kmsg)
queue->ikmq_base = next;
next->ikm_prev = prev;
prev->ikm_next = next;
}
assert((kmsg->ikm_next = IKM_BOGUS) == IKM_BOGUS);
assert((kmsg->ikm_prev = IKM_BOGUS) == IKM_BOGUS);
}
ipc_kmsg_t
ipc_kmsg_queue_next(
ipc_kmsg_queue_t queue,
ipc_kmsg_t kmsg)
{
ipc_kmsg_t next;
assert(queue->ikmq_base != IKM_NULL);
next = kmsg->ikm_next;
if (queue->ikmq_base == next)
next = IKM_NULL;
return next;
}
void
ipc_kmsg_destroy(
ipc_kmsg_t kmsg)
{
ipc_kmsg_queue_t queue;
boolean_t empty;
queue = &(current_thread()->ith_messages);
empty = ipc_kmsg_queue_empty(queue);
ipc_kmsg_enqueue(queue, kmsg);
if (empty) {
while ((kmsg = ipc_kmsg_queue_first(queue)) != IKM_NULL) {
ipc_kmsg_clean(kmsg);
ipc_kmsg_rmqueue(queue, kmsg);
ipc_kmsg_free(kmsg);
}
}
}
void
ipc_kmsg_destroy_dest(
ipc_kmsg_t kmsg)
{
ipc_port_t port;
port = kmsg->ikm_header->msgh_remote_port;
ipc_port_release(port);
kmsg->ikm_header->msgh_remote_port = MACH_PORT_NULL;
ipc_kmsg_destroy(kmsg);
}
void
ipc_kmsg_clean_body(
__unused ipc_kmsg_t kmsg,
mach_msg_type_number_t number,
mach_msg_descriptor_t *saddr)
{
mach_msg_descriptor_t *eaddr;
if ( number == 0 )
return;
eaddr = saddr + number;
for ( ; saddr < eaddr; saddr++ ) {
switch (saddr->type.type) {
case MACH_MSG_PORT_DESCRIPTOR: {
mach_msg_port_descriptor_t *dsc;
dsc = &saddr->port;
if (!IO_VALID((ipc_object_t) dsc->name))
continue;
ipc_object_destroy((ipc_object_t) dsc->name, dsc->disposition);
break;
}
case MACH_MSG_OOL_VOLATILE_DESCRIPTOR:
case MACH_MSG_OOL_DESCRIPTOR : {
mach_msg_ool_descriptor_t *dsc;
dsc = &saddr->out_of_line;
if (dsc->size == 0) {
assert(dsc->address == (void *) 0);
} else {
vm_map_copy_discard((vm_map_copy_t) dsc->address);
}
break;
}
case MACH_MSG_OOL_PORTS_DESCRIPTOR : {
ipc_object_t *objects;
mach_msg_type_number_t j;
mach_msg_ool_ports_descriptor_t *dsc;
dsc = &saddr->ool_ports;
objects = (ipc_object_t *) dsc->address;
if (dsc->count == 0) {
break;
}
assert(objects != (ipc_object_t *) 0);
for (j = 0; j < dsc->count; j++) {
ipc_object_t object = objects[j];
if (!IO_VALID(object))
continue;
ipc_object_destroy(object, dsc->disposition);
}
assert(dsc->count != 0);
kfree(dsc->address,
(vm_size_t) dsc->count * sizeof(mach_port_name_t));
break;
}
default : {
printf("cleanup: don't understand this type of descriptor\n");
}
}
}
}
void
ipc_kmsg_clean_partial(
ipc_kmsg_t kmsg,
mach_msg_type_number_t number,
mach_msg_descriptor_t *desc,
vm_offset_t paddr,
vm_size_t length)
{
ipc_object_t object;
mach_msg_bits_t mbits = kmsg->ikm_header->msgh_bits;
object = (ipc_object_t) kmsg->ikm_header->msgh_remote_port;
assert(IO_VALID(object));
ipc_object_destroy(object, MACH_MSGH_BITS_REMOTE(mbits));
object = (ipc_object_t) kmsg->ikm_header->msgh_local_port;
if (IO_VALID(object))
ipc_object_destroy(object, MACH_MSGH_BITS_LOCAL(mbits));
if (paddr) {
(void) vm_deallocate(ipc_kernel_copy_map, paddr, length);
}
ipc_kmsg_clean_body(kmsg, number, desc);
}
void
ipc_kmsg_clean(
ipc_kmsg_t kmsg)
{
ipc_object_t object;
mach_msg_bits_t mbits;
mbits = kmsg->ikm_header->msgh_bits;
object = (ipc_object_t) kmsg->ikm_header->msgh_remote_port;
if (IO_VALID(object))
ipc_object_destroy(object, MACH_MSGH_BITS_REMOTE(mbits));
object = (ipc_object_t) kmsg->ikm_header->msgh_local_port;
if (IO_VALID(object))
ipc_object_destroy(object, MACH_MSGH_BITS_LOCAL(mbits));
if (mbits & MACH_MSGH_BITS_COMPLEX) {
mach_msg_body_t *body;
body = (mach_msg_body_t *) (kmsg->ikm_header + 1);
ipc_kmsg_clean_body(kmsg, body->msgh_descriptor_count,
(mach_msg_descriptor_t *)(body + 1));
}
#if CONFIG_MACF_MACH
if (kmsg->ikm_sender != NULL) {
task_deallocate(kmsg->ikm_sender);
kmsg->ikm_sender = NULL;
}
#endif
}
void
ipc_kmsg_set_prealloc(
ipc_kmsg_t kmsg,
ipc_port_t port)
{
assert(kmsg->ikm_prealloc == IP_NULL);
kmsg->ikm_prealloc = IP_NULL;
IP_SET_PREALLOC(port, kmsg);
}
void
ipc_kmsg_clear_prealloc(
ipc_kmsg_t kmsg,
ipc_port_t port)
{
assert(kmsg->ikm_prealloc == port);
kmsg->ikm_prealloc = IP_NULL;
IP_CLEAR_PREALLOC(port, kmsg);
}
mach_msg_return_t
ipc_kmsg_get(
mach_vm_address_t msg_addr,
mach_msg_size_t size,
ipc_kmsg_t *kmsgp)
{
mach_msg_size_t msg_and_trailer_size;
ipc_kmsg_t kmsg;
mach_msg_max_trailer_t *trailer;
if ((size < sizeof(mach_msg_header_t)) || (size & 3))
return MACH_SEND_MSG_TOO_SMALL;
if (size > MACH_MSG_SIZE_MAX - MAX_TRAILER_SIZE)
return MACH_SEND_TOO_LARGE;
msg_and_trailer_size = size + MAX_TRAILER_SIZE;
kmsg = ipc_kmsg_alloc(msg_and_trailer_size);
if (kmsg == IKM_NULL)
return MACH_SEND_NO_BUFFER;
if (copyinmsg(msg_addr, (char *) kmsg->ikm_header, size)) {
ipc_kmsg_free(kmsg);
return MACH_SEND_INVALID_DATA;
}
kmsg->ikm_header->msgh_size = size;
trailer = (mach_msg_max_trailer_t *) ((vm_offset_t)kmsg->ikm_header + size);
trailer->msgh_sender = current_thread()->task->sec_token;
trailer->msgh_audit = current_thread()->task->audit_token;
trailer->msgh_trailer_type = MACH_MSG_TRAILER_FORMAT_0;
trailer->msgh_trailer_size = MACH_MSG_TRAILER_MINIMUM_SIZE;
#ifdef ppc
if(trcWork.traceMask) dbgTrace(0x1100, (unsigned int)kmsg->ikm_header->msgh_id,
(unsigned int)kmsg->ikm_header->msgh_remote_port,
(unsigned int)kmsg->ikm_header->msgh_local_port, 0);
#endif
#if CONFIG_MACF_MACH
task_t cur = current_task();
if (cur) {
task_reference(cur);
kmsg->ikm_sender = cur;
} else
trailer->msgh_labels.sender = 0;
#else
trailer->msgh_labels.sender = 0;
#endif
*kmsgp = kmsg;
return MACH_MSG_SUCCESS;
}
mach_msg_return_t
ipc_kmsg_get_from_kernel(
mach_msg_header_t *msg,
mach_msg_size_t size,
ipc_kmsg_t *kmsgp)
{
ipc_kmsg_t kmsg;
mach_msg_size_t msg_and_trailer_size;
mach_msg_max_trailer_t *trailer;
ipc_port_t dest_port;
assert(size >= sizeof(mach_msg_header_t));
assert(IP_VALID((ipc_port_t) msg->msgh_remote_port));
dest_port = (ipc_port_t)msg->msgh_remote_port;
msg_and_trailer_size = size + MAX_TRAILER_SIZE;
if (IP_PREALLOC(dest_port)) {
ip_lock(dest_port);
if (!ip_active(dest_port)) {
ip_unlock(dest_port);
return MACH_SEND_NO_BUFFER;
}
assert(IP_PREALLOC(dest_port));
kmsg = dest_port->ip_premsg;
if (msg_and_trailer_size > kmsg->ikm_size) {
ip_unlock(dest_port);
return MACH_SEND_TOO_LARGE;
}
if (ikm_prealloc_inuse(kmsg)) {
ip_unlock(dest_port);
return MACH_SEND_NO_BUFFER;
}
ikm_prealloc_set_inuse(kmsg, dest_port);
ip_unlock(dest_port);
} else {
kmsg = ipc_kmsg_alloc(msg_and_trailer_size);
if (kmsg == IKM_NULL)
return MACH_SEND_NO_BUFFER;
}
(void) memcpy((void *) kmsg->ikm_header, (const void *) msg, size);
kmsg->ikm_header->msgh_size = size;
trailer = (mach_msg_max_trailer_t *)
((vm_offset_t)kmsg->ikm_header + size);
trailer->msgh_sender = KERNEL_SECURITY_TOKEN;
trailer->msgh_audit = KERNEL_AUDIT_TOKEN;
trailer->msgh_trailer_type = MACH_MSG_TRAILER_FORMAT_0;
trailer->msgh_trailer_size = MACH_MSG_TRAILER_MINIMUM_SIZE;
trailer->msgh_labels.sender = 0;
#if CONFIG_MACF_MACH
kmsg->ikm_sender = NULL;
#endif
*kmsgp = kmsg;
return MACH_MSG_SUCCESS;
}
mach_msg_return_t
ipc_kmsg_send(
ipc_kmsg_t kmsg,
mach_msg_option_t option,
mach_msg_timeout_t send_timeout)
{
ipc_port_t port;
port = (ipc_port_t) kmsg->ikm_header->msgh_remote_port;
assert(IP_VALID(port));
if ((option & ~(MACH_SEND_TIMEOUT|MACH_SEND_ALWAYS)) != 0)
printf("ipc_kmsg_send: bad option 0x%x\n", option);
ip_lock(port);
if (port->ip_receiver == ipc_space_kernel) {
assert(ip_active(port));
port->ip_messages.imq_seqno++;
ip_unlock(port);
current_task()->messages_sent++;
kmsg = ipc_kobject_server(kmsg);
if (kmsg == IKM_NULL)
return MACH_MSG_SUCCESS;
port = (ipc_port_t) kmsg->ikm_header->msgh_remote_port;
assert(IP_VALID(port));
ip_lock(port);
}
if (!ip_active(port)) {
ip_release(port);
ip_check_unlock(port);
kmsg->ikm_header->msgh_remote_port = MACH_PORT_NULL;
ipc_kmsg_destroy(kmsg);
return MACH_MSG_SUCCESS;
}
if (kmsg->ikm_header->msgh_bits & MACH_MSGH_BITS_CIRCULAR) {
ip_unlock(port);
ipc_kmsg_destroy(kmsg);
return MACH_MSG_SUCCESS;
}
ip_unlock(port);
return (ipc_mqueue_send(&port->ip_messages, kmsg, option, send_timeout));
}
mach_msg_return_t
ipc_kmsg_put(
mach_vm_address_t msg_addr,
ipc_kmsg_t kmsg,
mach_msg_size_t size)
{
mach_msg_return_t mr;
if (copyoutmsg((const char *) kmsg->ikm_header, msg_addr, size))
mr = MACH_RCV_INVALID_DATA;
else
mr = MACH_MSG_SUCCESS;
ipc_kmsg_free(kmsg);
return mr;
}
void
ipc_kmsg_put_to_kernel(
mach_msg_header_t *msg,
ipc_kmsg_t kmsg,
mach_msg_size_t size)
{
(void) memcpy((void *) msg, (const void *) kmsg->ikm_header, size);
ipc_kmsg_free(kmsg);
}
mach_msg_return_t
ipc_kmsg_copyin_header(
mach_msg_header_t *msg,
ipc_space_t space,
mach_port_name_t notify)
{
mach_msg_bits_t mbits = msg->msgh_bits & MACH_MSGH_BITS_USER;
mach_port_name_t dest_name = (mach_port_name_t)msg->msgh_remote_port;
mach_port_name_t reply_name = (mach_port_name_t)msg->msgh_local_port;
kern_return_t kr;
mach_msg_type_name_t dest_type = MACH_MSGH_BITS_REMOTE(mbits);
mach_msg_type_name_t reply_type = MACH_MSGH_BITS_LOCAL(mbits);
ipc_object_t dest_port, reply_port;
ipc_port_t dest_soright, reply_soright;
ipc_port_t notify_port;
ipc_entry_t entry;
if ((mbits != msg->msgh_bits) ||
(!MACH_MSG_TYPE_PORT_ANY_SEND(dest_type)) ||
((reply_type == 0) ?
(reply_name != MACH_PORT_NULL) :
!MACH_MSG_TYPE_PORT_ANY_SEND(reply_type)))
return MACH_SEND_INVALID_HEADER;
reply_soright = IP_NULL;
is_write_lock(space);
if (!space->is_active)
goto invalid_dest;
if (!MACH_PORT_VALID(dest_name))
goto invalid_dest;
#if CONFIG_MACF_MACH
entry = ipc_entry_lookup(space, dest_name);
if (entry != IE_NULL) {
int error = 0;
ipc_port_t port = (ipc_port_t) entry->ie_object;
if (port == IP_NULL)
goto invalid_dest;
ip_lock(port);
if (ip_active(port)) {
task_t self = current_task();
tasklabel_lock(self);
error = mac_port_check_send(&self->maclabel,
&port->ip_label);
tasklabel_unlock(self);
}
ip_unlock(port);
if (error != 0)
goto invalid_dest;
}
#endif
if (notify != MACH_PORT_NULL) {
if ((entry = ipc_entry_lookup(space, notify)) == IE_NULL) {
is_write_unlock(space);
return MACH_SEND_INVALID_NOTIFY;
}
if((entry->ie_bits & MACH_PORT_TYPE_RECEIVE) == 0) {
is_write_unlock(space);
return MACH_SEND_INVALID_NOTIFY;
}
notify_port = (ipc_port_t) entry->ie_object;
} else
notify_port = IP_NULL;
if (dest_name == reply_name) {
mach_port_name_t name = dest_name;
entry = ipc_entry_lookup(space, name);
if (entry == IE_NULL)
goto invalid_dest;
assert(reply_type != 0);
if (!ipc_right_copyin_check(space, name, entry, reply_type))
goto invalid_reply;
if ((dest_type == MACH_MSG_TYPE_MOVE_SEND_ONCE) ||
(reply_type == MACH_MSG_TYPE_MOVE_SEND_ONCE)) {
goto invalid_dest;
} else if ((dest_type == MACH_MSG_TYPE_MAKE_SEND) ||
(dest_type == MACH_MSG_TYPE_MAKE_SEND_ONCE) ||
(reply_type == MACH_MSG_TYPE_MAKE_SEND) ||
(reply_type == MACH_MSG_TYPE_MAKE_SEND_ONCE)) {
kr = ipc_right_copyin(space, name, entry,
dest_type, FALSE,
&dest_port, &dest_soright);
if (kr != KERN_SUCCESS)
goto invalid_dest;
assert(IO_VALID(dest_port));
assert(entry->ie_bits & MACH_PORT_TYPE_RECEIVE);
assert(dest_soright == IP_NULL);
kr = ipc_right_copyin(space, name, entry,
reply_type, TRUE,
&reply_port, &reply_soright);
assert(kr == KERN_SUCCESS);
assert(reply_port == dest_port);
assert(entry->ie_bits & MACH_PORT_TYPE_RECEIVE);
assert(reply_soright == IP_NULL);
} else if ((dest_type == MACH_MSG_TYPE_COPY_SEND) &&
(reply_type == MACH_MSG_TYPE_COPY_SEND)) {
kr = ipc_right_copyin(space, name, entry,
dest_type, FALSE,
&dest_port, &dest_soright);
if (kr != KERN_SUCCESS)
goto invalid_dest;
assert(entry->ie_bits & MACH_PORT_TYPE_SEND);
assert(dest_soright == IP_NULL);
reply_port = (ipc_object_t)
ipc_port_copy_send((ipc_port_t) dest_port);
reply_soright = IP_NULL;
} else if ((dest_type == MACH_MSG_TYPE_MOVE_SEND) &&
(reply_type == MACH_MSG_TYPE_MOVE_SEND)) {
kr = ipc_right_copyin_two(space, name, entry,
&dest_port, &dest_soright);
if (kr != KERN_SUCCESS)
goto invalid_dest;
if (IE_BITS_TYPE(entry->ie_bits) == MACH_PORT_TYPE_NONE)
ipc_entry_dealloc(space, name, entry);
reply_port = dest_port;
reply_soright = IP_NULL;
} else {
ipc_port_t soright;
assert(((dest_type == MACH_MSG_TYPE_COPY_SEND) &&
(reply_type == MACH_MSG_TYPE_MOVE_SEND)) ||
((dest_type == MACH_MSG_TYPE_MOVE_SEND) &&
(reply_type == MACH_MSG_TYPE_COPY_SEND)));
kr = ipc_right_copyin(space, name, entry,
MACH_MSG_TYPE_MOVE_SEND, FALSE,
&dest_port, &soright);
if (kr != KERN_SUCCESS)
goto invalid_dest;
if (IE_BITS_TYPE(entry->ie_bits) == MACH_PORT_TYPE_NONE)
ipc_entry_dealloc(space, name, entry);
reply_port = (ipc_object_t)
ipc_port_copy_send((ipc_port_t) dest_port);
if (dest_type == MACH_MSG_TYPE_MOVE_SEND) {
dest_soright = soright;
reply_soright = IP_NULL;
} else {
dest_soright = IP_NULL;
reply_soright = soright;
}
}
} else if (!MACH_PORT_VALID(reply_name)) {
entry = ipc_entry_lookup(space, dest_name);
if (entry == IE_NULL)
goto invalid_dest;
kr = ipc_right_copyin(space, dest_name, entry,
dest_type, FALSE,
&dest_port, &dest_soright);
if (kr != KERN_SUCCESS)
goto invalid_dest;
if (IE_BITS_TYPE(entry->ie_bits) == MACH_PORT_TYPE_NONE)
ipc_entry_dealloc(space, dest_name, entry);
reply_port = (ipc_object_t) reply_name;
reply_soright = IP_NULL;
} else {
ipc_entry_t dest_entry, reply_entry;
dest_entry = ipc_entry_lookup(space, dest_name);
if (dest_entry == IE_NULL)
goto invalid_dest;
reply_entry = ipc_entry_lookup(space, reply_name);
if (reply_entry == IE_NULL)
goto invalid_reply;
assert(dest_entry != reply_entry);
assert(reply_type != 0);
if (!ipc_right_copyin_check(space, reply_name, reply_entry,
reply_type))
goto invalid_reply;
kr = ipc_right_copyin(space, dest_name, dest_entry,
dest_type, FALSE,
&dest_port, &dest_soright);
if (kr != KERN_SUCCESS)
goto invalid_dest;
assert(IO_VALID(dest_port));
kr = ipc_right_copyin(space, reply_name, reply_entry,
reply_type, TRUE,
&reply_port, &reply_soright);
assert(kr == KERN_SUCCESS);
if (IE_BITS_TYPE(reply_entry->ie_bits) == MACH_PORT_TYPE_NONE)
ipc_entry_dealloc(space, reply_name, reply_entry);
if (IE_BITS_TYPE(dest_entry->ie_bits) == MACH_PORT_TYPE_NONE)
ipc_entry_dealloc(space, dest_name, dest_entry);
}
if ((notify != MACH_PORT_NULL) &&
(dest_soright == notify_port)) {
ipc_port_release_sonce(dest_soright);
dest_soright = IP_NULL;
}
is_write_unlock(space);
if (dest_soright != IP_NULL)
ipc_notify_port_deleted(dest_soright, dest_name);
if (reply_soright != IP_NULL)
ipc_notify_port_deleted(reply_soright, reply_name);
dest_type = ipc_object_copyin_type(dest_type);
reply_type = ipc_object_copyin_type(reply_type);
msg->msgh_bits = (MACH_MSGH_BITS_OTHER(mbits) |
MACH_MSGH_BITS(dest_type, reply_type));
msg->msgh_remote_port = (ipc_port_t)dest_port;
msg->msgh_local_port = (ipc_port_t)reply_port;
return MACH_MSG_SUCCESS;
invalid_reply:
is_write_unlock(space);
return MACH_SEND_INVALID_REPLY;
invalid_dest:
is_write_unlock(space);
if (reply_soright != IP_NULL)
ipc_notify_port_deleted(reply_soright, reply_name);
return MACH_SEND_INVALID_DEST;
}
#define DESC_COUNT_SMALL 64
mach_msg_return_t
ipc_kmsg_copyin_body(
ipc_kmsg_t kmsg,
ipc_space_t space,
vm_map_t map)
{
ipc_object_t dest;
mach_msg_body_t *body;
mach_msg_descriptor_t *daddr, *naddr;
mach_msg_type_number_t dsc_count;
boolean_t differs = MAP_SIZE_DIFFERS(map);
boolean_t complex = FALSE;
vm_size_t space_needed = 0;
vm_size_t desc_size_space[DESC_COUNT_SMALL];
vm_size_t *user_desc_sizes = NULL;
vm_offset_t paddr = 0;
vm_map_copy_t copy = VM_MAP_COPY_NULL;
kern_return_t kr;
mach_msg_type_number_t i;
mach_msg_return_t mr = MACH_MSG_SUCCESS;
dest = (ipc_object_t) kmsg->ikm_header->msgh_remote_port;
body = (mach_msg_body_t *) (kmsg->ikm_header + 1);
naddr = (mach_msg_descriptor_t *) (body + 1);
dsc_count = body->msgh_descriptor_count;
if (dsc_count == 0)
return MACH_MSG_SUCCESS;
if (differs) {
user_desc_sizes = (dsc_count <= DESC_COUNT_SMALL) ?
&desc_size_space : kalloc(dsc_count * sizeof(vm_size_t));
if (user_desc_sizes == NULL) {
ipc_kmsg_clean_partial(kmsg, 0, NULL, 0, 0);
return KERN_RESOURCE_SHORTAGE;
}
}
daddr = NULL;
for (i = 0; i < dsc_count; i++) {
daddr = naddr;
if (differs) {
switch (daddr->type.type) {
case MACH_MSG_OOL_DESCRIPTOR:
case MACH_MSG_OOL_VOLATILE_DESCRIPTOR:
case MACH_MSG_OOL_PORTS_DESCRIPTOR:
user_desc_sizes[i] = sizeof(OTHER_OOL_DESCRIPTOR);
break;
default:
user_desc_sizes[i] = sizeof(*daddr);
break;
}
naddr = (mach_msg_descriptor_t *)
((vm_offset_t)daddr + user_desc_sizes[i]);
} else {
naddr = daddr + 1;
}
if (naddr > (mach_msg_descriptor_t *)
((vm_offset_t)kmsg->ikm_header + kmsg->ikm_header->msgh_size)) {
ipc_kmsg_clean_partial(kmsg, 0, NULL, 0, 0);
mr = MACH_SEND_MSG_TOO_SMALL;
goto out;
}
switch (daddr->type.type) {
mach_msg_size_t size;
case MACH_MSG_OOL_DESCRIPTOR:
case MACH_MSG_OOL_VOLATILE_DESCRIPTOR:
size = (differs) ?
((OTHER_OOL_DESCRIPTOR *)daddr)->size :
daddr->out_of_line.size;
if (daddr->out_of_line.copy != MACH_MSG_PHYSICAL_COPY &&
daddr->out_of_line.copy != MACH_MSG_VIRTUAL_COPY) {
ipc_kmsg_clean_partial(kmsg, 0, NULL, 0, 0);
mr = MACH_SEND_INVALID_TYPE;
goto out;
}
if ((size >= MSG_OOL_SIZE_SMALL) &&
(daddr->out_of_line.copy == MACH_MSG_PHYSICAL_COPY) &&
!(daddr->out_of_line.deallocate)) {
space_needed += round_page(size);
if (space_needed > ipc_kmsg_max_vm_space) {
ipc_kmsg_clean_partial(kmsg, 0, NULL, 0, 0);
mr = MACH_MSG_VM_KERNEL;
goto out;
}
}
}
}
if (space_needed) {
if (vm_allocate(ipc_kernel_copy_map, &paddr, space_needed, VM_FLAGS_ANYWHERE) !=
KERN_SUCCESS) {
ipc_kmsg_clean_partial(kmsg, 0, NULL, 0, 0);
mr = MACH_MSG_VM_KERNEL;
goto out;
}
}
naddr -= 1;
do {
switch (daddr->type.type) {
case MACH_MSG_PORT_DESCRIPTOR: {
mach_msg_type_name_t user_disp;
mach_msg_type_name_t result_disp;
mach_port_name_t name;
ipc_object_t object;
volatile mach_msg_port_descriptor_t *dsc;
volatile mach_msg_port_descriptor_t *user_dsc;
user_dsc = &daddr->port;
dsc = &naddr->port;
user_disp = user_dsc->disposition;
result_disp = ipc_object_copyin_type(user_disp);
name = (mach_port_name_t)user_dsc->name;
if (MACH_PORT_VALID(name)) {
kr = ipc_object_copyin(space, name, user_disp, &object);
if (kr != KERN_SUCCESS) {
mr = MACH_SEND_INVALID_RIGHT;
break;
}
if ((result_disp == MACH_MSG_TYPE_PORT_RECEIVE) &&
ipc_port_check_circularity((ipc_port_t) object,
(ipc_port_t) dest)) {
kmsg->ikm_header->msgh_bits |= MACH_MSGH_BITS_CIRCULAR;
}
dsc->name = (ipc_port_t) object;
} else {
dsc->name = (mach_port_t)name;
}
dsc->disposition = result_disp;
dsc->type = MACH_MSG_PORT_DESCRIPTOR;
complex = TRUE;
break;
}
case MACH_MSG_OOL_VOLATILE_DESCRIPTOR:
case MACH_MSG_OOL_DESCRIPTOR: {
vm_size_t length;
boolean_t dealloc;
mach_msg_copy_options_t copy_options;
mach_vm_offset_t addr;
mach_msg_descriptor_type_t dsc_type;
volatile mach_msg_ool_descriptor_t *dsc;
if (differs) {
volatile OTHER_OOL_DESCRIPTOR *user_dsc;
user_dsc = (OTHER_OOL_DESCRIPTOR *)&daddr->out_of_line;
addr = (mach_vm_offset_t) user_dsc->address;
length = user_dsc->size;
dealloc = user_dsc->deallocate;
copy_options = user_dsc->copy;
dsc_type = user_dsc->type;
} else {
volatile mach_msg_ool_descriptor_t *user_dsc;
user_dsc = &daddr->out_of_line;
addr = CAST_USER_ADDR_T(user_dsc->address);
dealloc = user_dsc->deallocate;
copy_options = user_dsc->copy;
dsc_type = user_dsc->type;
length = user_dsc->size;
}
dsc = &naddr->out_of_line;
dsc->size = length;
dsc->deallocate = dealloc;
dsc->copy = copy_options;
dsc->type = dsc_type;
if (length == 0) {
dsc->address = NULL;
} else if ((length >= MSG_OOL_SIZE_SMALL) &&
(copy_options == MACH_MSG_PHYSICAL_COPY) && !dealloc) {
if (copyin(addr, (char *) paddr, length)) {
mr = MACH_SEND_INVALID_MEMORY;
break;
}
if (!page_aligned(length)) {
(void) memset((void *) (paddr + length), 0,
round_page(length) - length);
}
if (vm_map_copyin(ipc_kernel_copy_map, (vm_map_address_t)paddr,
(vm_map_size_t)length, TRUE, ©) != KERN_SUCCESS) {
mr = MACH_MSG_VM_KERNEL;
break;
}
dsc->address = (void *) copy;
paddr += round_page(length);
space_needed -= round_page(length);
} else {
kr = vm_map_copyin(map, addr,
(vm_map_size_t)length, dealloc, ©);
if (kr != KERN_SUCCESS) {
mr = (kr == KERN_RESOURCE_SHORTAGE) ?
MACH_MSG_VM_KERNEL :
MACH_SEND_INVALID_MEMORY;
break;
}
dsc->address = (void *) copy;
}
complex = TRUE;
break;
}
case MACH_MSG_OOL_PORTS_DESCRIPTOR: {
vm_size_t length;
void *data;
ipc_object_t *objects;
unsigned int j;
mach_vm_offset_t addr;
mach_msg_type_name_t user_disp;
mach_msg_type_name_t result_disp;
mach_msg_type_number_t count;
mach_msg_copy_options_t copy_option;
boolean_t deallocate;
volatile mach_msg_ool_ports_descriptor_t *dsc;
if (differs) {
volatile OTHER_OOL_PORTS_DESCRIPTOR *user_dsc;
user_dsc = (OTHER_OOL_PORTS_DESCRIPTOR *)&daddr->ool_ports;
addr = (mach_vm_offset_t)user_dsc->address;
count = user_dsc->count;
deallocate = user_dsc->deallocate;
copy_option = user_dsc->copy;
user_disp = user_dsc->disposition;
} else {
volatile mach_msg_ool_ports_descriptor_t *user_dsc;
user_dsc = &daddr->ool_ports;
addr = CAST_USER_ADDR_T(user_dsc->address);
count = user_dsc->count;
deallocate = user_dsc->deallocate;
copy_option = user_dsc->copy;
user_disp = user_dsc->disposition;
}
dsc = &naddr->ool_ports;
dsc->deallocate = deallocate;
dsc->copy = copy_option;
dsc->type = daddr->type.type;
dsc->count = count;
dsc->address = NULL;
result_disp = ipc_object_copyin_type(user_disp);
dsc->disposition = result_disp;
length = count * sizeof(mach_port_name_t);
if (length == 0) {
complex = TRUE;
break;
}
data = kalloc(length);
if (data == NULL) {
mr = MACH_SEND_NO_BUFFER;
break;
}
if (copyinmap(map, addr, data, length) != KERN_SUCCESS) {
kfree(data, length);
mr = MACH_SEND_INVALID_MEMORY;
break;
}
if (deallocate) {
(void) mach_vm_deallocate(map, addr, (mach_vm_size_t)length);
}
objects = (ipc_object_t *) data;
dsc->address = data;
for ( j = 0; j < count; j++) {
mach_port_name_t port = (mach_port_name_t) objects[j];
ipc_object_t object;
if (!MACH_PORT_VALID(port))
continue;
kr = ipc_object_copyin(space, port, user_disp, &object);
if (kr != KERN_SUCCESS) {
unsigned int k;
for(k = 0; k < j; k++) {
object = objects[k];
if (IPC_OBJECT_VALID(object))
ipc_object_destroy(object, result_disp);
}
kfree(data, length);
dsc->address = NULL;
mr = MACH_SEND_INVALID_RIGHT;
break;
}
if ((dsc->disposition == MACH_MSG_TYPE_PORT_RECEIVE) &&
ipc_port_check_circularity(
(ipc_port_t) object,
(ipc_port_t) dest))
kmsg->ikm_header->msgh_bits |= MACH_MSGH_BITS_CIRCULAR;
objects[j] = object;
}
complex = TRUE;
break;
}
default: {
mr = MACH_SEND_INVALID_TYPE;
break;
}
}
if (MACH_MSG_SUCCESS != mr) {
ipc_kmsg_clean_partial(kmsg, dsc_count - i,
naddr + 1, paddr, space_needed);
goto out;
}
} while (--i > 0
&&
(daddr = (differs) ? (mach_msg_descriptor_t *)((vm_offset_t)(daddr) -
user_desc_sizes[i - 1]) : daddr - 1)
&&
naddr--);
if (!complex) {
kmsg->ikm_header->msgh_bits &= ~MACH_MSGH_BITS_COMPLEX;
}
if (differs && naddr != daddr) {
mach_msg_base_t *old_base = (mach_msg_base_t *)kmsg->ikm_header;
mach_msg_base_t *new_base = (mach_msg_base_t *)naddr - 1;
memmove(new_base, old_base, sizeof(mach_msg_base_t));
new_base->header.msgh_size -= (vm_offset_t)naddr - (vm_offset_t)daddr;
kmsg->ikm_header = &new_base->header;
}
out:
if (differs && dsc_count > DESC_COUNT_SMALL)
kfree(user_desc_sizes, body->msgh_descriptor_count * sizeof(vm_size_t));
return mr;
}
mach_msg_return_t
ipc_kmsg_copyin(
ipc_kmsg_t kmsg,
ipc_space_t space,
vm_map_t map,
mach_port_name_t notify)
{
mach_msg_return_t mr;
mr = ipc_kmsg_copyin_header(kmsg->ikm_header, space, notify);
if (mr != MACH_MSG_SUCCESS)
return mr;
if ((kmsg->ikm_header->msgh_bits & MACH_MSGH_BITS_COMPLEX) == 0)
return MACH_MSG_SUCCESS;
return( ipc_kmsg_copyin_body( kmsg, space, map) );
}
void
ipc_kmsg_copyin_from_kernel(
ipc_kmsg_t kmsg)
{
mach_msg_bits_t bits = kmsg->ikm_header->msgh_bits;
mach_msg_type_name_t rname = MACH_MSGH_BITS_REMOTE(bits);
mach_msg_type_name_t lname = MACH_MSGH_BITS_LOCAL(bits);
ipc_object_t remote = (ipc_object_t) kmsg->ikm_header->msgh_remote_port;
ipc_object_t local = (ipc_object_t) kmsg->ikm_header->msgh_local_port;
ipc_object_copyin_from_kernel(remote, rname);
if (IO_VALID(local))
ipc_object_copyin_from_kernel(local, lname);
if (bits == (MACH_MSGH_BITS_COMPLEX |
MACH_MSGH_BITS(MACH_MSG_TYPE_COPY_SEND, 0))) {
bits = (MACH_MSGH_BITS_COMPLEX |
MACH_MSGH_BITS(MACH_MSG_TYPE_PORT_SEND, 0));
kmsg->ikm_header->msgh_bits = bits;
} else {
bits = (MACH_MSGH_BITS_OTHER(bits) |
MACH_MSGH_BITS(ipc_object_copyin_type(rname),
ipc_object_copyin_type(lname)));
kmsg->ikm_header->msgh_bits = bits;
if ((bits & MACH_MSGH_BITS_COMPLEX) == 0)
return;
}
{
mach_msg_descriptor_t *saddr, *eaddr;
mach_msg_body_t *body;
body = (mach_msg_body_t *) (kmsg->ikm_header + 1);
saddr = (mach_msg_descriptor_t *) (body + 1);
eaddr = (mach_msg_descriptor_t *) saddr + body->msgh_descriptor_count;
for ( ; saddr < eaddr; saddr++) {
switch (saddr->type.type) {
case MACH_MSG_PORT_DESCRIPTOR: {
mach_msg_type_name_t name;
ipc_object_t object;
mach_msg_port_descriptor_t *dsc;
dsc = &saddr->port;
name = dsc->disposition;
object = (ipc_object_t) dsc->name;
dsc->disposition = ipc_object_copyin_type(name);
if (!IO_VALID(object)) {
break;
}
ipc_object_copyin_from_kernel(object, name);
if (((ipc_port_t)remote)->ip_receiver != ipc_space_kernel) {
if ((dsc->disposition == MACH_MSG_TYPE_PORT_RECEIVE) &&
ipc_port_check_circularity((ipc_port_t) object,
(ipc_port_t) remote)) {
kmsg->ikm_header->msgh_bits |=
MACH_MSGH_BITS_CIRCULAR;
}
}
break;
}
case MACH_MSG_OOL_VOLATILE_DESCRIPTOR:
case MACH_MSG_OOL_DESCRIPTOR: {
break;
}
case MACH_MSG_OOL_PORTS_DESCRIPTOR: {
ipc_object_t *objects;
unsigned int j;
mach_msg_type_name_t name;
mach_msg_ool_ports_descriptor_t *dsc;
dsc = &saddr->ool_ports;
name = dsc->disposition;
dsc->disposition = ipc_object_copyin_type(name);
objects = (ipc_object_t *) dsc->address;
for ( j = 0; j < dsc->count; j++) {
ipc_object_t object = objects[j];
if (!IO_VALID(object))
continue;
ipc_object_copyin_from_kernel(object, name);
if ((dsc->disposition == MACH_MSG_TYPE_PORT_RECEIVE) &&
ipc_port_check_circularity(
(ipc_port_t) object,
(ipc_port_t) remote))
kmsg->ikm_header->msgh_bits |= MACH_MSGH_BITS_CIRCULAR;
}
break;
}
default: {
#if MACH_ASSERT
panic("ipc_kmsg_copyin_from_kernel: bad descriptor");
#endif
}
}
}
}
}
mach_msg_return_t
ipc_kmsg_copyout_header(
mach_msg_header_t *msg,
ipc_space_t space,
mach_port_name_t notify)
{
mach_msg_bits_t mbits = msg->msgh_bits;
ipc_port_t dest = (ipc_port_t) msg->msgh_remote_port;
assert(IP_VALID(dest));
{
mach_msg_type_name_t dest_type = MACH_MSGH_BITS_REMOTE(mbits);
mach_msg_type_name_t reply_type = MACH_MSGH_BITS_LOCAL(mbits);
ipc_port_t reply = (ipc_port_t) msg->msgh_local_port;
mach_port_name_t dest_name, reply_name;
if (IP_VALID(reply)) {
ipc_port_t notify_port;
ipc_entry_t entry;
kern_return_t kr;
is_write_lock(space);
for (;;) {
ipc_port_request_index_t request;
if (!space->is_active) {
printf("ipc_kmsg_copyout_header: dead space\n");
is_write_unlock(space);
return (MACH_RCV_HEADER_ERROR|
MACH_MSG_IPC_SPACE);
}
if (notify != MACH_PORT_NULL) {
notify_port = ipc_port_lookup_notify(space,
notify);
if (notify_port == IP_NULL) {
printf("ipc_kmsg_copyout_header: no notify port\n");
is_write_unlock(space);
return MACH_RCV_INVALID_NOTIFY;
}
} else
notify_port = IP_NULL;
if ((reply_type != MACH_MSG_TYPE_PORT_SEND_ONCE) &&
ipc_right_reverse(space, (ipc_object_t) reply,
&reply_name, &entry)) {
assert(entry->ie_bits &
MACH_PORT_TYPE_SEND_RECEIVE);
break;
}
ip_lock(reply);
if (!ip_active(reply)) {
ip_release(reply);
ip_check_unlock(reply);
if (notify_port != IP_NULL)
ipc_port_release_sonce(notify_port);
ip_lock(dest);
is_write_unlock(space);
reply = IP_DEAD;
reply_name = MACH_PORT_DEAD;
goto copyout_dest;
}
reply_name = (mach_port_name_t)reply;
kr = ipc_entry_get(space, &reply_name, &entry);
if (kr != KERN_SUCCESS) {
ip_unlock(reply);
if (notify_port != IP_NULL)
ipc_port_release_sonce(notify_port);
kr = ipc_entry_grow_table(space,
ITS_SIZE_NONE);
if (kr != KERN_SUCCESS) {
if (kr == KERN_RESOURCE_SHORTAGE) {
printf("ipc_kmsg_copyout_header: can't grow kernel ipc space\n");
return (MACH_RCV_HEADER_ERROR|
MACH_MSG_IPC_KERNEL);
} else {
printf("ipc_kmsg_copyout_header: can't grow user ipc space\n");
return (MACH_RCV_HEADER_ERROR|
MACH_MSG_IPC_SPACE);
}
}
continue;
}
assert(IE_BITS_TYPE(entry->ie_bits) ==
MACH_PORT_TYPE_NONE);
assert(entry->ie_object == IO_NULL);
if (notify_port == IP_NULL) {
entry->ie_object = (ipc_object_t) reply;
break;
}
kr = ipc_port_dnrequest(reply, reply_name,
notify_port, &request);
if (kr != KERN_SUCCESS) {
ip_unlock(reply);
ipc_port_release_sonce(notify_port);
ipc_entry_dealloc(space, reply_name, entry);
is_write_unlock(space);
ip_lock(reply);
if (!ip_active(reply)) {
ip_unlock(reply);
is_write_lock(space);
continue;
}
kr = ipc_port_dngrow(reply, ITS_SIZE_NONE);
if (kr != KERN_SUCCESS) {
printf("ipc_kmsg_copyout_header: can't grow kernel ipc space2\n");
return (MACH_RCV_HEADER_ERROR|
MACH_MSG_IPC_KERNEL);
}
is_write_lock(space);
continue;
}
notify_port = IP_NULL;
entry->ie_object = (ipc_object_t) reply;
entry->ie_request = request;
break;
}
ip_reference(reply);
kr = ipc_right_copyout(space, reply_name, entry,
reply_type, TRUE, (ipc_object_t) reply);
assert(kr == KERN_SUCCESS);
if (notify_port != IP_NULL)
ipc_port_release_sonce(notify_port);
ip_lock(dest);
is_write_unlock(space);
} else {
is_read_lock(space);
if (!space->is_active) {
printf("ipc_kmsg_copyout_header: dead space2\n");
is_read_unlock(space);
return MACH_RCV_HEADER_ERROR|MACH_MSG_IPC_SPACE;
}
if (notify != MACH_PORT_NULL) {
ipc_entry_t entry;
if ((entry = ipc_entry_lookup(space, notify)) == IE_NULL) {
printf("ipc_kmsg_copyout_header: ipc_entry_lookup failed\n");
is_read_unlock(space);
return MACH_RCV_INVALID_NOTIFY;
}
if ((entry->ie_bits & MACH_PORT_TYPE_RECEIVE) == 0) {
printf("ipc_kmsg_copyout_header: MACH_PORT_TYPE_RECEIVE not set!\n");
is_read_unlock(space);
return MACH_RCV_INVALID_NOTIFY;
}
}
ip_lock(dest);
is_read_unlock(space);
reply_name = (mach_port_name_t) reply;
}
copyout_dest:
if (ip_active(dest)) {
ipc_object_copyout_dest(space, (ipc_object_t) dest,
dest_type, &dest_name);
} else {
ipc_port_timestamp_t timestamp;
timestamp = dest->ip_timestamp;
ip_release(dest);
ip_check_unlock(dest);
if (IP_VALID(reply)) {
ip_lock(reply);
if (ip_active(reply) ||
IP_TIMESTAMP_ORDER(timestamp,
reply->ip_timestamp))
dest_name = MACH_PORT_DEAD;
else
dest_name = MACH_PORT_NULL;
ip_unlock(reply);
} else
dest_name = MACH_PORT_DEAD;
}
if (IP_VALID(reply))
ipc_port_release(reply);
msg->msgh_bits = (MACH_MSGH_BITS_OTHER(mbits) |
MACH_MSGH_BITS(reply_type, dest_type));
msg->msgh_local_port = (ipc_port_t)dest_name;
msg->msgh_remote_port = (ipc_port_t)reply_name;
}
return MACH_MSG_SUCCESS;
}
mach_msg_return_t
ipc_kmsg_copyout_object(
ipc_space_t space,
ipc_object_t object,
mach_msg_type_name_t msgt_name,
mach_port_name_t *namep)
{
kern_return_t kr;
if (!IO_VALID(object)) {
*namep = (mach_port_name_t) object;
return MACH_MSG_SUCCESS;
}
kr = ipc_object_copyout(space, object, msgt_name, TRUE, namep);
if (kr != KERN_SUCCESS) {
ipc_object_destroy(object, msgt_name);
if (kr == KERN_INVALID_CAPABILITY)
*namep = MACH_PORT_DEAD;
else {
*namep = MACH_PORT_NULL;
if (kr == KERN_RESOURCE_SHORTAGE)
return MACH_MSG_IPC_KERNEL;
else
return MACH_MSG_IPC_SPACE;
}
}
return MACH_MSG_SUCCESS;
}
mach_msg_return_t
ipc_kmsg_copyout_body(
ipc_kmsg_t kmsg,
ipc_space_t space,
vm_map_t map,
mach_msg_body_t *slist)
{
mach_msg_body_t *body;
mach_msg_descriptor_t *daddr, *naddr;
mach_msg_descriptor_t *saddr;
mach_msg_type_number_t i, dsc_count, sdsc_count;
mach_msg_return_t mr = MACH_MSG_SUCCESS;
kern_return_t kr;
void *data;
boolean_t differs = MAP_SIZE_DIFFERS(map);
body = (mach_msg_body_t *) (kmsg->ikm_header + 1);
dsc_count = body->msgh_descriptor_count;
daddr = (mach_msg_descriptor_t *) (body + 1);
if (slist != MACH_MSG_BODY_NULL) {
saddr = (mach_msg_descriptor_t *) (slist + 1);
sdsc_count = slist->msgh_descriptor_count;
}
else {
saddr = MACH_MSG_DESCRIPTOR_NULL;
sdsc_count = 0;
}
if (differs) {
mach_msg_size_t dsc_adjust;
naddr = daddr;
dsc_adjust = 0;
for (i = 0; i < dsc_count; i++, naddr++)
switch (naddr->type.type) {
case MACH_MSG_OOL_DESCRIPTOR:
case MACH_MSG_OOL_VOLATILE_DESCRIPTOR:
case MACH_MSG_OOL_PORTS_DESCRIPTOR:
dsc_adjust += DESC_SIZE_ADJUSTMENT;
break;
default:
break;
}
if (dsc_adjust) {
mach_msg_base_t *old_base = (mach_msg_base_t *)kmsg->ikm_header;
mach_msg_base_t *new_base;
new_base = (mach_msg_base_t *)((vm_offset_t)old_base - dsc_adjust);
memmove(new_base, old_base, sizeof(mach_msg_base_t));
kmsg->ikm_header = &new_base->header;
kmsg->ikm_header->msgh_size += dsc_adjust;
naddr = (mach_msg_descriptor_t *)(new_base + 1);
} else {
naddr = daddr;
}
} else {
naddr = daddr;
}
for ( i = 0; i < dsc_count; i++, daddr++ ) {
switch (daddr->type.type) {
case MACH_MSG_PORT_DESCRIPTOR: {
volatile mach_msg_port_descriptor_t *dsc;
volatile mach_msg_port_descriptor_t *user_dsc;
mach_port_t port;
mach_port_name_t name;
mach_msg_type_name_t disp;
dsc = &daddr->port;
user_dsc = &naddr->port;
port = dsc->name;
disp = dsc->disposition;
mr |= ipc_kmsg_copyout_object(space,
(ipc_object_t)port,
disp,
&name);
user_dsc->name = (mach_port_t)name;
user_dsc->disposition = disp;
user_dsc->type = MACH_MSG_PORT_DESCRIPTOR;
naddr++;
break;
}
case MACH_MSG_OOL_VOLATILE_DESCRIPTOR:
case MACH_MSG_OOL_DESCRIPTOR : {
vm_map_copy_t copy;
mach_vm_offset_t rcv_addr;
mach_msg_ool_descriptor_t *dsc;
mach_msg_copy_options_t copy_options;
mach_msg_size_t size;
mach_msg_descriptor_type_t dsc_type;
SKIP_PORT_DESCRIPTORS(saddr, sdsc_count);
dsc = &daddr->out_of_line;
copy = (vm_map_copy_t) dsc->address;
size = dsc->size;
copy_options = dsc->copy;
assert(copy_options != MACH_MSG_KALLOC_COPY_T);
dsc_type = dsc->type;
if (copy != VM_MAP_COPY_NULL) {
if (saddr != MACH_MSG_DESCRIPTOR_NULL) {
if (differs) {
OTHER_OOL_DESCRIPTOR *scatter_dsc;
scatter_dsc = (OTHER_OOL_DESCRIPTOR *)saddr;
if (scatter_dsc->copy == MACH_MSG_OVERWRITE) {
rcv_addr = (mach_vm_offset_t) scatter_dsc->address;
copy_options = MACH_MSG_OVERWRITE;
} else {
rcv_addr = 0;
copy_options = MACH_MSG_VIRTUAL_COPY;
}
} else {
mach_msg_ool_descriptor_t *scatter_dsc;
scatter_dsc = &saddr->out_of_line;
if (scatter_dsc->copy == MACH_MSG_OVERWRITE) {
rcv_addr = CAST_USER_ADDR_T(scatter_dsc->address);
copy_options = MACH_MSG_OVERWRITE;
} else {
rcv_addr = 0;
copy_options = MACH_MSG_VIRTUAL_COPY;
}
}
INCREMENT_SCATTER(saddr, sdsc_count, differs);
}
if (copy_options == MACH_MSG_OVERWRITE) {
kr = vm_map_copy_overwrite(map, rcv_addr,
copy, TRUE);
} else {
kr = vm_map_copyout(map, &rcv_addr, copy);
}
if (kr != KERN_SUCCESS) {
if (kr == KERN_RESOURCE_SHORTAGE)
mr |= MACH_MSG_VM_KERNEL;
else
mr |= MACH_MSG_VM_SPACE;
vm_map_copy_discard(copy);
rcv_addr = 0;
size = 0;
}
} else {
rcv_addr = 0;
size = 0;
}
if (differs) {
volatile OTHER_OOL_DESCRIPTOR *user_dsc;
user_dsc = (OTHER_OOL_DESCRIPTOR *)naddr;
user_dsc->address = rcv_addr;
user_dsc->deallocate = (copy_options == MACH_MSG_VIRTUAL_COPY) ?
TRUE : FALSE;
user_dsc->copy = copy_options;
user_dsc->type = dsc_type;
user_dsc->size = size;
naddr = (mach_msg_descriptor_t *)((OTHER_OOL_DESCRIPTOR *)naddr + 1);
} else {
volatile mach_msg_ool_descriptor_t *user_dsc;
user_dsc = &naddr->out_of_line;
user_dsc->address = CAST_DOWN(void *, rcv_addr);
user_dsc->size = size;
user_dsc->deallocate = (copy_options == MACH_MSG_VIRTUAL_COPY) ?
TRUE : FALSE;
user_dsc->copy = copy_options;
user_dsc->type = dsc_type;
naddr++;
}
break;
}
case MACH_MSG_OOL_PORTS_DESCRIPTOR : {
mach_vm_offset_t rcv_addr;
mach_port_name_t *objects;
mach_msg_type_name_t disp;
mach_msg_type_number_t count, j;
vm_size_t length;
volatile mach_msg_ool_ports_descriptor_t *dsc;
mach_msg_copy_options_t copy_options = MACH_MSG_VIRTUAL_COPY;
SKIP_PORT_DESCRIPTORS(saddr, sdsc_count);
dsc = &daddr->ool_ports;
count = dsc->count;
disp = dsc->disposition;
length = count * sizeof(mach_port_name_t);
if (length != 0 && dsc->address != 0) {
if (saddr != MACH_MSG_DESCRIPTOR_NULL) {
if (differs) {
OTHER_OOL_DESCRIPTOR *scatter_dsc;
scatter_dsc = (OTHER_OOL_DESCRIPTOR *)saddr;
rcv_addr = (mach_vm_offset_t) scatter_dsc->address;
copy_options = scatter_dsc->copy;
} else {
mach_msg_ool_descriptor_t *scatter_dsc;
scatter_dsc = &saddr->out_of_line;
rcv_addr = CAST_USER_ADDR_T(scatter_dsc->address);
copy_options = scatter_dsc->copy;
}
INCREMENT_SCATTER(saddr, sdsc_count, differs);
}
if (copy_options == MACH_MSG_VIRTUAL_COPY) {
int anywhere = VM_MAKE_TAG(VM_MEMORY_MACH_MSG)|
VM_FLAGS_ANYWHERE;
if ((kr = mach_vm_allocate(map, &rcv_addr,
(mach_vm_size_t)length,
anywhere)) != KERN_SUCCESS) {
ipc_kmsg_clean_body(kmsg, 1, daddr);
rcv_addr = 0;
if (kr == KERN_RESOURCE_SHORTAGE){
mr |= MACH_MSG_VM_KERNEL;
} else {
mr |= MACH_MSG_VM_SPACE;
}
}
}
if (rcv_addr != 0) {
objects = (mach_port_name_t *) dsc->address ;
for ( j = 0; j < count ; j++) {
ipc_object_t object =
(ipc_object_t) objects[j];
mr |= ipc_kmsg_copyout_object(space, object,
disp, &objects[j]);
}
data = dsc->address;
if (copyoutmap(map, data, rcv_addr, length) != KERN_SUCCESS)
mr |= MACH_MSG_VM_SPACE;
kfree(data, length);
}
} else {
rcv_addr = 0;
}
if (differs) {
volatile OTHER_OOL_PORTS_DESCRIPTOR *user_dsc;
user_dsc = (OTHER_OOL_PORTS_DESCRIPTOR *)naddr;
user_dsc->address = rcv_addr;
user_dsc->deallocate = (copy_options == MACH_MSG_VIRTUAL_COPY) ?
TRUE : FALSE;
user_dsc->copy = copy_options;
user_dsc->disposition = disp;
user_dsc->type = MACH_MSG_OOL_PORTS_DESCRIPTOR;
user_dsc->count = count;
naddr = (mach_msg_descriptor_t *)((OTHER_OOL_PORTS_DESCRIPTOR *)naddr + 1);
} else {
volatile mach_msg_ool_ports_descriptor_t *user_dsc;
user_dsc = &naddr->ool_ports;
user_dsc->address = CAST_DOWN(void *, rcv_addr);
user_dsc->count = count;
user_dsc->deallocate = (copy_options == MACH_MSG_VIRTUAL_COPY) ?
TRUE : FALSE;
user_dsc->copy = copy_options;
user_dsc->disposition = disp;
user_dsc->type = MACH_MSG_OOL_PORTS_DESCRIPTOR;
naddr++;
}
break;
}
default : {
panic("untyped IPC copyout body: invalid message descriptor");
}
}
}
return mr;
}
mach_msg_size_t
ipc_kmsg_copyout_size(
ipc_kmsg_t kmsg,
vm_map_t map)
{
mach_msg_size_t send_size;
send_size = kmsg->ikm_header->msgh_size;
if ((kmsg->ikm_header->msgh_bits & MACH_MSGH_BITS_COMPLEX) &&
MAP_SIZE_DIFFERS(map)) {
mach_msg_body_t *body;
mach_msg_descriptor_t *saddr, *eaddr;
body = (mach_msg_body_t *) (kmsg->ikm_header + 1);
saddr = (mach_msg_descriptor_t *) (body + 1);
eaddr = saddr + body->msgh_descriptor_count;
for ( ; saddr < eaddr; saddr++ ) {
switch (saddr->type.type) {
case MACH_MSG_OOL_DESCRIPTOR:
case MACH_MSG_OOL_VOLATILE_DESCRIPTOR:
case MACH_MSG_OOL_PORTS_DESCRIPTOR:
send_size += DESC_SIZE_ADJUSTMENT;
break;
default:
break;
}
}
}
return send_size;
}
mach_msg_return_t
ipc_kmsg_copyout(
ipc_kmsg_t kmsg,
ipc_space_t space,
vm_map_t map,
mach_port_name_t notify,
mach_msg_body_t *slist)
{
mach_msg_return_t mr;
mr = ipc_kmsg_copyout_header(kmsg->ikm_header, space, notify);
if (mr != MACH_MSG_SUCCESS) {
printf("ipc_kmsg_copyout: ipc_kmsg_copyout_header failed: %d\n", mr);
return mr;
}
if (kmsg->ikm_header->msgh_bits & MACH_MSGH_BITS_COMPLEX) {
mr = ipc_kmsg_copyout_body(kmsg, space, map, slist);
if (mr != MACH_MSG_SUCCESS)
mr |= MACH_RCV_BODY_ERROR;
}
return mr;
}
mach_msg_return_t
ipc_kmsg_copyout_pseudo(
ipc_kmsg_t kmsg,
ipc_space_t space,
vm_map_t map,
mach_msg_body_t *slist)
{
mach_msg_bits_t mbits = kmsg->ikm_header->msgh_bits;
ipc_object_t dest = (ipc_object_t) kmsg->ikm_header->msgh_remote_port;
ipc_object_t reply = (ipc_object_t) kmsg->ikm_header->msgh_local_port;
mach_msg_type_name_t dest_type = MACH_MSGH_BITS_REMOTE(mbits);
mach_msg_type_name_t reply_type = MACH_MSGH_BITS_LOCAL(mbits);
mach_port_name_t dest_name, reply_name;
mach_msg_return_t mr;
assert(IO_VALID(dest));
mr = (ipc_kmsg_copyout_object(space, dest, dest_type, &dest_name) |
ipc_kmsg_copyout_object(space, reply, reply_type, &reply_name));
kmsg->ikm_header->msgh_bits = mbits &~ MACH_MSGH_BITS_CIRCULAR;
kmsg->ikm_header->msgh_remote_port = (ipc_port_t)dest_name;
kmsg->ikm_header->msgh_local_port = (ipc_port_t)reply_name;
if (mbits & MACH_MSGH_BITS_COMPLEX) {
mr |= ipc_kmsg_copyout_body(kmsg, space, map, slist);
}
return mr;
}
void
ipc_kmsg_copyout_dest(
ipc_kmsg_t kmsg,
ipc_space_t space)
{
mach_msg_bits_t mbits;
ipc_object_t dest;
ipc_object_t reply;
mach_msg_type_name_t dest_type;
mach_msg_type_name_t reply_type;
mach_port_name_t dest_name, reply_name;
mbits = kmsg->ikm_header->msgh_bits;
dest = (ipc_object_t) kmsg->ikm_header->msgh_remote_port;
reply = (ipc_object_t) kmsg->ikm_header->msgh_local_port;
dest_type = MACH_MSGH_BITS_REMOTE(mbits);
reply_type = MACH_MSGH_BITS_LOCAL(mbits);
assert(IO_VALID(dest));
io_lock(dest);
if (io_active(dest)) {
ipc_object_copyout_dest(space, dest, dest_type, &dest_name);
} else {
io_release(dest);
io_check_unlock(dest);
dest_name = MACH_PORT_DEAD;
}
if (IO_VALID(reply)) {
ipc_object_destroy(reply, reply_type);
reply_name = MACH_PORT_NULL;
} else
reply_name = (mach_port_name_t) reply;
kmsg->ikm_header->msgh_bits = (MACH_MSGH_BITS_OTHER(mbits) |
MACH_MSGH_BITS(reply_type, dest_type));
kmsg->ikm_header->msgh_local_port = (ipc_port_t)dest_name;
kmsg->ikm_header->msgh_remote_port = (ipc_port_t)reply_name;
if (mbits & MACH_MSGH_BITS_COMPLEX) {
mach_msg_body_t *body;
body = (mach_msg_body_t *) (kmsg->ikm_header + 1);
ipc_kmsg_clean_body(kmsg, body->msgh_descriptor_count,
(mach_msg_descriptor_t *)(body + 1));
}
}
mach_msg_body_t *
ipc_kmsg_get_scatter(
mach_vm_address_t msg_addr,
mach_msg_size_t slist_size,
ipc_kmsg_t kmsg)
{
mach_msg_body_t *slist;
mach_msg_body_t *body;
mach_msg_descriptor_t *gstart, *gend;
mach_msg_descriptor_t *sstart, *send;
if (slist_size < sizeof(mach_msg_base_t))
return MACH_MSG_BODY_NULL;
slist_size -= sizeof(mach_msg_header_t);
slist = (mach_msg_body_t *)kalloc(slist_size);
if (slist == MACH_MSG_BODY_NULL)
return slist;
if (copyin(msg_addr + sizeof(mach_msg_header_t), (char *)slist, slist_size)) {
kfree(slist, slist_size);
return MACH_MSG_BODY_NULL;
}
if ((slist->msgh_descriptor_count* sizeof(mach_msg_descriptor_t)
+ sizeof(mach_msg_size_t)) > slist_size) {
kfree(slist, slist_size);
return MACH_MSG_BODY_NULL;
}
body = (mach_msg_body_t *) (kmsg->ikm_header + 1);
gstart = (mach_msg_descriptor_t *) (body + 1);
gend = gstart + body->msgh_descriptor_count;
sstart = (mach_msg_descriptor_t *) (slist + 1);
send = sstart + slist->msgh_descriptor_count;
while (gstart < gend) {
mach_msg_descriptor_type_t g_type;
g_type = gstart->type.type;
if (g_type != MACH_MSG_PORT_DESCRIPTOR) {
if (slist->msgh_descriptor_count == 0) {
kfree(slist, slist_size);
return MACH_MSG_BODY_NULL;
}
while (sstart < send) {
if (sstart->type.type != MACH_MSG_PORT_DESCRIPTOR)
break;
sstart++;
}
if (sstart >= send) {
break;
}
if (g_type == MACH_MSG_OOL_DESCRIPTOR ||
g_type == MACH_MSG_OOL_VOLATILE_DESCRIPTOR) {
if (sstart->type.type != MACH_MSG_OOL_DESCRIPTOR &&
sstart->type.type != MACH_MSG_OOL_VOLATILE_DESCRIPTOR) {
kfree(slist, slist_size);
return MACH_MSG_BODY_NULL;
}
if (sstart->out_of_line.copy == MACH_MSG_OVERWRITE &&
gstart->out_of_line.size > sstart->out_of_line.size) {
kfree(slist, slist_size);
return MACH_MSG_BODY_NULL;
}
}
else {
if (sstart->type.type != MACH_MSG_OOL_PORTS_DESCRIPTOR) {
kfree(slist, slist_size);
return MACH_MSG_BODY_NULL;
}
if (sstart->ool_ports.copy == MACH_MSG_OVERWRITE &&
gstart->ool_ports.count > sstart->ool_ports.count) {
kfree(slist, slist_size);
return MACH_MSG_BODY_NULL;
}
}
sstart++;
}
gstart++;
}
return slist;
}
void
ipc_kmsg_free_scatter(
mach_msg_body_t *slist,
mach_msg_size_t slist_size)
{
slist_size -= sizeof(mach_msg_header_t);
kfree(slist, slist_size);
}
void
ipc_kmsg_copyout_to_kernel(
ipc_kmsg_t kmsg,
ipc_space_t space)
{
ipc_object_t dest;
ipc_object_t reply;
mach_msg_type_name_t dest_type;
mach_msg_type_name_t reply_type;
mach_port_name_t dest_name, reply_name;
dest = (ipc_object_t) kmsg->ikm_header->msgh_remote_port;
reply = (ipc_object_t) kmsg->ikm_header->msgh_local_port;
dest_type = MACH_MSGH_BITS_REMOTE(kmsg->ikm_header->msgh_bits);
reply_type = MACH_MSGH_BITS_LOCAL(kmsg->ikm_header->msgh_bits);
assert(IO_VALID(dest));
io_lock(dest);
if (io_active(dest)) {
ipc_object_copyout_dest(space, dest, dest_type, &dest_name);
} else {
io_release(dest);
io_check_unlock(dest);
dest_name = MACH_PORT_DEAD;
}
reply_name = (mach_port_name_t) reply;
kmsg->ikm_header->msgh_bits =
(MACH_MSGH_BITS_OTHER(kmsg->ikm_header->msgh_bits) |
MACH_MSGH_BITS(reply_type, dest_type));
kmsg->ikm_header->msgh_local_port = (ipc_port_t)dest_name;
kmsg->ikm_header->msgh_remote_port = (ipc_port_t)reply_name;
}
#include <mach_kdb.h>
#if MACH_KDB
#include <ddb/db_output.h>
#include <ipc/ipc_print.h>
void ipc_msg_print_untyped(
mach_msg_body_t *body);
const char * ipc_type_name(
int type_name,
boolean_t received);
void ipc_print_type_name(
int type_name);
const char *
msgh_bit_decode(
mach_msg_bits_t bit);
const char *
mm_copy_options_string(
mach_msg_copy_options_t option);
void db_print_msg_uid(mach_msg_header_t *);
const char *
ipc_type_name(
int type_name,
boolean_t received)
{
switch (type_name) {
case MACH_MSG_TYPE_PORT_NAME:
return "port_name";
case MACH_MSG_TYPE_MOVE_RECEIVE:
if (received) {
return "port_receive";
} else {
return "move_receive";
}
case MACH_MSG_TYPE_MOVE_SEND:
if (received) {
return "port_send";
} else {
return "move_send";
}
case MACH_MSG_TYPE_MOVE_SEND_ONCE:
if (received) {
return "port_send_once";
} else {
return "move_send_once";
}
case MACH_MSG_TYPE_COPY_SEND:
return "copy_send";
case MACH_MSG_TYPE_MAKE_SEND:
return "make_send";
case MACH_MSG_TYPE_MAKE_SEND_ONCE:
return "make_send_once";
default:
return (char *) 0;
}
}
void
ipc_print_type_name(
int type_name)
{
const char *name = ipc_type_name(type_name, TRUE);
if (name) {
printf("%s", name);
} else {
printf("type%d", type_name);
}
}
void
ipc_kmsg_print(
ipc_kmsg_t kmsg)
{
iprintf("kmsg=0x%x\n", kmsg);
iprintf("ikm_next=0x%x, prev=0x%x, size=%d",
kmsg->ikm_next,
kmsg->ikm_prev,
kmsg->ikm_size);
printf("\n");
ipc_msg_print(kmsg->ikm_header);
}
const char *
msgh_bit_decode(
mach_msg_bits_t bit)
{
switch (bit) {
case MACH_MSGH_BITS_COMPLEX: return "complex";
case MACH_MSGH_BITS_CIRCULAR: return "circular";
default: return (char *) 0;
}
}
void
ipc_msg_print(
mach_msg_header_t *msgh)
{
mach_msg_bits_t mbits;
unsigned int bit, i;
const char *bit_name;
int needs_comma;
mbits = msgh->msgh_bits;
iprintf("msgh_bits=0x%x: l=0x%x,r=0x%x\n",
mbits,
MACH_MSGH_BITS_LOCAL(msgh->msgh_bits),
MACH_MSGH_BITS_REMOTE(msgh->msgh_bits));
mbits = MACH_MSGH_BITS_OTHER(mbits) & MACH_MSGH_BITS_USED;
db_indent += 2;
if (mbits)
iprintf("decoded bits: ");
needs_comma = 0;
for (i = 0, bit = 1; i < sizeof(mbits) * 8; ++i, bit <<= 1) {
if ((mbits & bit) == 0)
continue;
bit_name = msgh_bit_decode((mach_msg_bits_t)bit);
if (bit_name)
printf("%s%s", needs_comma ? "," : "", bit_name);
else
printf("%sunknown(0x%x),", needs_comma ? "," : "", bit);
++needs_comma;
}
if (msgh->msgh_bits & ~MACH_MSGH_BITS_USED) {
printf("%sunused=0x%x,", needs_comma ? "," : "",
msgh->msgh_bits & ~MACH_MSGH_BITS_USED);
}
printf("\n");
db_indent -= 2;
needs_comma = 1;
if (msgh->msgh_remote_port) {
iprintf("remote=0x%x(", msgh->msgh_remote_port);
ipc_print_type_name(MACH_MSGH_BITS_REMOTE(msgh->msgh_bits));
printf(")");
} else {
iprintf("remote=null");
}
if (msgh->msgh_local_port) {
printf("%slocal=%p(", needs_comma ? "," : "",
msgh->msgh_local_port);
ipc_print_type_name(MACH_MSGH_BITS_LOCAL(msgh->msgh_bits));
printf(")\n");
} else {
printf("local=null\n");
}
iprintf("msgh_id=%d, size=%d\n",
msgh->msgh_id,
msgh->msgh_size);
if (mbits & MACH_MSGH_BITS_COMPLEX) {
ipc_msg_print_untyped((mach_msg_body_t *) (msgh + 1));
}
}
const char *
mm_copy_options_string(
mach_msg_copy_options_t option)
{
const char *name;
switch (option) {
case MACH_MSG_PHYSICAL_COPY:
name = "PHYSICAL";
break;
case MACH_MSG_VIRTUAL_COPY:
name = "VIRTUAL";
break;
case MACH_MSG_OVERWRITE:
name = "OVERWRITE";
break;
case MACH_MSG_ALLOCATE:
name = "ALLOCATE";
break;
case MACH_MSG_KALLOC_COPY_T:
name = "KALLOC_COPY_T";
break;
default:
name = "unknown";
break;
}
return name;
}
void
ipc_msg_print_untyped(
mach_msg_body_t *body)
{
mach_msg_descriptor_t *saddr, *send;
mach_msg_descriptor_type_t type;
iprintf("%d descriptors %d: \n", body->msgh_descriptor_count);
saddr = (mach_msg_descriptor_t *) (body + 1);
send = saddr + body->msgh_descriptor_count;
for ( ; saddr < send; saddr++ ) {
type = saddr->type.type;
switch (type) {
case MACH_MSG_PORT_DESCRIPTOR: {
mach_msg_port_descriptor_t *dsc;
dsc = &saddr->port;
iprintf("-- PORT name = 0x%x disp = ", dsc->name);
ipc_print_type_name(dsc->disposition);
printf("\n");
break;
}
case MACH_MSG_OOL_VOLATILE_DESCRIPTOR:
case MACH_MSG_OOL_DESCRIPTOR: {
mach_msg_ool_descriptor_t *dsc;
dsc = &saddr->out_of_line;
iprintf("-- OOL%s addr = 0x%x size = 0x%x copy = %s %s\n",
type == MACH_MSG_OOL_DESCRIPTOR ? "" : " VOLATILE",
dsc->address, dsc->size,
mm_copy_options_string(dsc->copy),
dsc->deallocate ? "DEALLOC" : "");
break;
}
case MACH_MSG_OOL_PORTS_DESCRIPTOR : {
mach_msg_ool_ports_descriptor_t *dsc;
dsc = &saddr->ool_ports;
iprintf("-- OOL_PORTS addr = 0x%x count = 0x%x ",
dsc->address, dsc->count);
printf("disp = ");
ipc_print_type_name(dsc->disposition);
printf(" copy = %s %s\n",
mm_copy_options_string(dsc->copy),
dsc->deallocate ? "DEALLOC" : "");
break;
}
default: {
iprintf("-- UNKNOWN DESCRIPTOR 0x%x\n", type);
break;
}
}
}
}
#endif