Searched refs:owner_port (Results 1 – 1 of 1) sorted by relevance
1722 mach_port_t owner_port, in mach_memory_entry_ownership_from_user() argument1733 if (IP_VALID(owner_port)) { in mach_memory_entry_ownership_from_user()1734 if (ip_kotype(owner_port) == IKOT_TASK_ID_TOKEN) { in mach_memory_entry_ownership_from_user()1735 task_id_token_t token = convert_port_to_task_id_token(owner_port); in mach_memory_entry_ownership_from_user()1740 owner = convert_port_to_task_mig(owner_port); in mach_memory_entry_ownership_from_user()1761 ipc_port_release_send(owner_port); in mach_memory_entry_ownership_from_user()