Searched refs:port_ptrs (Results 1 – 1 of 1) sorted by relevance
4762 ipc_port_t port_ptrs[EXC_TYPES_COUNT]; /* pointers only, does not hold right */ in thread_get_exception_ports_internal() local4802 if (exc_port == port_ptrs[j] && in thread_get_exception_ports_internal()4812 port_ptrs[j] = exc_port; in thread_get_exception_ports_internal()4917 ipc_port_t port_ptrs[EXC_TYPES_COUNT]; /* pointers only, does not hold right */ in task_get_exception_ports_internal() local4951 if (exc_port == port_ptrs[j] && in task_get_exception_ports_internal()4961 port_ptrs[j] = exc_port; in task_get_exception_ports_internal()