Lines Matching defs:space
101 int ipc_mqueue_full; /* address is event for queue space */
391 * We have to wait for space to be granted to us.
488 * receiver is waiting, we can release our reserved space in
492 * If we need to queue, our space in the message queue is reserved.
1239 * Convert a name in a space to a message queue.
1246 * MACH_RCV_INVALID_NAME The space is dead.
1255 ipc_space_t space,
1264 is_read_lock(space);
1265 if (!is_active(space)) {
1266 is_read_unlock(space);
1270 entry = ipc_entry_lookup(space, name);
1272 is_read_unlock(space);
1287 assert(port->ip_receiver == space);
1288 is_read_unlock(space);
1300 is_read_unlock(space);
1304 is_read_unlock(space);
1310 * the space is unlocked, and mqueue is initialized.