Lines Matching defs:object_handle
1713 ipc_port_t *object_handle,
1829 if (object_handle)
1830 *object_handle = IP_NULL;
1910 *object_handle = user_handle;
2270 *object_handle = parent_handle;
2300 *object_handle = user_handle;
2359 *object_handle = user_handle;
2379 ipc_port_t *object_handle,
2387 (memory_object_offset_t)offset, permission, object_handle,
2399 ipc_port_t *object_handle,
2407 (memory_object_offset_t)offset, permission, object_handle,
2928 ipc_port_t *object_handle)
2953 *object_handle = user_handle;