Searched refs:owner_port (Results 1 – 1 of 1) sorted by relevance
1710 mach_port_t owner_port, in mach_memory_entry_ownership_from_user() argument1721 if (IP_VALID(owner_port)) { in mach_memory_entry_ownership_from_user()1722 if (ip_type(owner_port) == IKOT_TASK_ID_TOKEN) { in mach_memory_entry_ownership_from_user()1723 task_id_token_t token = convert_port_to_task_id_token(owner_port); in mach_memory_entry_ownership_from_user()1728 owner = convert_port_to_task_mig(owner_port); in mach_memory_entry_ownership_from_user()1749 ipc_port_release_send(owner_port); in mach_memory_entry_ownership_from_user()