Searched refs:owner_port (Results 1 – 1 of 1) sorted by relevance
1735 mach_port_t owner_port, in mach_memory_entry_ownership_from_user() argument1746 if (IP_VALID(owner_port)) { in mach_memory_entry_ownership_from_user()1747 if (ip_type(owner_port) == IKOT_TASK_ID_TOKEN) { in mach_memory_entry_ownership_from_user()1748 task_id_token_t token = convert_port_to_task_id_token(owner_port); in mach_memory_entry_ownership_from_user()1753 owner = convert_port_to_task_mig(owner_port); in mach_memory_entry_ownership_from_user()1774 ipc_port_release_send(owner_port); in mach_memory_entry_ownership_from_user()