osfmk/ipc/ipc_kmsg.c

144         mach_msg_body_t         body;
190 	mach_msg_body_t		*body);
210 ipc_msg_body_print64(void *body, int size)
212 	uint32_t	*word = (uint32_t *) body;
213 	uint32_t	*end  = (uint32_t *)(((uintptr_t) body) + size
217 	kprintf("  body(%p-%p):\n    %p: ", body, end, word);
413 	mach_msg_body_t		*body)
418     kprintf("  %d descriptors: \n", body->msgh_descriptor_count);
420     saddr = (mach_msg_descriptor_t *) (body + 1);
421     send = saddr + body->msgh_descriptor_count;
477 #define	DEBUG_IPC_MSG_BODY_PRINT(body,size)	\
479 		ipc_msg_body_print64(body,size);\
483 #define	DEBUG_IPC_MSG_BODY_PRINT(body,size)
587 	 * there are yet, so just assume the whole body could be
597 	/* compare against implementation upper limit for the body */
878  *		Cleans the body of a kernel message.
974  *		in the body of the message that contained the error.
1034 		mach_msg_body_t *body;
1036 		body = (mach_msg_body_t *) (kmsg->ikm_header + 1);
1037 		ipc_kmsg_clean_body(kmsg, body->msgh_descriptor_count,
1038 				    (mach_msg_descriptor_t *)(body + 1));
1132 	legacy_base.body.msgh_descriptor_count = 0;
1192 		kprintf("body: size: %lu\n", (size - sizeof(mach_msg_header_t)));
1291 			max_desc = ((mach_msg_base_t *)msg)->body.msgh_descriptor_count *
1510 		kprintf("ipc_kmsg_put header+body: %d\n", (size));
2299  *		in the message body.
2310  *		MACH_SEND_INVALID_RIGHT	Can't copyin port right in body.
2324     mach_msg_body_t		*body;
2342     body = (mach_msg_body_t *) (kmsg->ikm_header + 1);
2343     naddr = (mach_msg_descriptor_t *) (body + 1);
2345     dsc_count = body->msgh_descriptor_count;
2518  *		MACH_SEND_INVALID_RIGHT	Can't copyin port right in body.
2551 		kprintf("body:\n");
2617     	mach_msg_body_t		*body;
2620     	body = (mach_msg_body_t *) (kmsg->ikm_header + 1);
2621     	saddr = (mach_msg_descriptor_t *) (body + 1);
2622 	count = body->msgh_descriptor_count;
2752     	mach_msg_body_t		*body;
2755     	body = (mach_msg_body_t *) (kmsg->ikm_header + 1);
2756     	saddr = (typeof(saddr)) (body + 1);
2757 	count = body->msgh_descriptor_count;
3494  *		in the body of a message.
3516     mach_msg_body_t 		*body;
3524     body = (mach_msg_body_t *) (kmsg->ikm_header + 1);
3525     dsc_count = body->msgh_descriptor_count;
3526     kern_dsc = (mach_msg_descriptor_t *) (body + 1);
3558                           panic("untyped IPC copyout body: invalid message descriptor");
3604         mach_msg_body_t *body;
3607         body = (mach_msg_body_t *) (kmsg->ikm_header + 1);
3608         saddr = (mach_msg_descriptor_t *) (body + 1);
3609         eaddr = saddr + body->msgh_descriptor_count;
3643  *			As much of the body was handled as possible.
3676  *		as if they are in the body.  They aren't reversed.
3772 		mach_msg_body_t *body;
3774 		body = (mach_msg_body_t *) (kmsg->ikm_header + 1);
3775 		ipc_kmsg_clean_body(kmsg, body->msgh_descriptor_count,
3776 				    (mach_msg_descriptor_t *)(body + 1));
3801  *              the allocated message body containing the scatter list.
3811         mach_msg_body_t         *body;
3838         body = (mach_msg_body_t *) (kmsg->ikm_header + 1);
3839         gstart = (mach_msg_descriptor_t *) (body + 1);
3840         gend = gstart + body->msgh_descriptor_count;
3919  *              a body without a header, and since the header was originally
4026     mach_msg_type_number_t i, count = ((mach_msg_base_t *)kmsg->ikm_header)->body.msgh_descriptor_count;