Lines Matching refs:message
80 #include <mach/message.h>
228 printf("message id = %d\n", nentry);
253 * Handle a message sent to the kernel.
254 * Generates a reply message.
305 * Initialize reply message.
344 printf("ipc_kobject_server: bogus kernel message, id=%d\n",
404 * of the message. The reply port right is moved
405 * to the reply message, and we have deallocated
413 * The message contents of the request are intact.
415 * which is needed in the reply message.
423 * The server function will send a reply message
432 * Can't queue the reply message if the destination