Searched refs:used_port (Results 1 – 1 of 1) sorted by relevance
161 mach_port_t used_port);168 mach_port_t used_port) in _hurd_port_free() argument171 if (used_port == MACH_PORT_NULL) in _hurd_port_free()182 __mach_port_deallocate (__mach_task_self (), used_port); in _hurd_port_free()
Completed in 5 milliseconds