Lines Matching defs:ipc_kmsg_copyout_header
2091 * Routine: ipc_kmsg_copyout_header
2124 ipc_kmsg_copyout_header(
2170 printf("ipc_kmsg_copyout_header: dead space\n");
2180 printf("ipc_kmsg_copyout_header: no notify port\n");
2236 printf("ipc_kmsg_copyout_header: can't grow kernel ipc space\n");
2240 printf("ipc_kmsg_copyout_header: can't grow user ipc space\n");
2282 printf("ipc_kmsg_copyout_header: can't grow kernel ipc space2\n");
2322 printf("ipc_kmsg_copyout_header: dead space2\n");
2333 printf("ipc_kmsg_copyout_header: ipc_entry_lookup failed\n");
2339 printf("ipc_kmsg_copyout_header: MACH_PORT_TYPE_RECEIVE not set!\n");
2920 mr = ipc_kmsg_copyout_header(kmsg->ikm_header, space, notify);
2922 printf("ipc_kmsg_copyout: ipc_kmsg_copyout_header failed: %d\n", mr);