64 	ipc_single_port_msg_t msg = {  in ipc_send_port()  local
82 	return ipc_send_message(&msg.header);  in ipc_send_port()
88 	ipc_receive_msg_t msg;  in ipc_receive_port()  local
91 	kr = ipc_receive_message(destination, &msg, sizeof(ipc_receive_msg_t));  in ipc_receive_port()
93 		if (msg.header.msgh_id == 0x1001 && msg.body.msgh_descriptor_count == 1) {  in ipc_receive_port()
94 			*port = msg.data.single.port.name;  in ipc_receive_port()
113 	ipc_port_array_msg_t msg = {  in ipc_send_port_array()  local
133 	return ipc_send_message(&msg.header);  in ipc_send_port_array()
140 	ipc_receive_msg_t msg;  in ipc_receive_port_array()  local
143 	kr = ipc_receive_message(destination, &msg, sizeof(ipc_receive_msg_t));  in ipc_receive_port_array()
145 		if (msg.header.msgh_id == 0x1004 && msg.body.msgh_descriptor_count == 1) {  in ipc_receive_port_array()
146 			*ports = (mach_port_t*)msg.data.array.ports_descriptor.address;  in ipc_receive_port_array()
147 			*count = msg.data.array.ports_descriptor.count;  in ipc_receive_port_array()
161 ipc_send_message(mach_msg_header_t *msg)  in ipc_send_message()  argument
163 	kern_return_t kr = mach_msg(msg, MACH_SEND_MSG, msg->msgh_size, 0,  in ipc_send_message()
169 ipc_receive_message(mach_port_t destination, ipc_receive_msg_t *msg, mach_msg_size_t max_size)  in ipc_receive_message()  argument
171 	kern_return_t kr = mach_msg(&msg->header, MACH_RCV_MSG, 0, max_size,  in ipc_receive_message()