Lines Matching refs:ipc_port_t
53 ipc_port_t device_pager,
73 ipc_port_t sright,
125 ipc_port_t *object_handle
457 ipc_port_t entry_port,
462 ipc_port_t entry_port,
467 ipc_port_t entry_port,
474 ipc_port_t entry_port,
480 extern void mach_memory_entry_port_release(ipc_port_t port);
481 extern void mach_destroy_memory_entry(ipc_port_t port);
484 ipc_port_t *user_handle_p);