Searched refs:port_ptrs (Results 1 – 1 of 1) sorted by relevance
4537 ipc_port_t port_ptrs[EXC_TYPES_COUNT]; /* pointers only, does not hold right */ in thread_get_exception_ports_internal() local4584 if (exc_port == port_ptrs[j] && in thread_get_exception_ports_internal()4594 port_ptrs[j] = exc_port; in thread_get_exception_ports_internal()4699 ipc_port_t port_ptrs[EXC_TYPES_COUNT]; /* pointers only, does not hold right */ in task_get_exception_ports_internal() local4740 if (exc_port == port_ptrs[j] && in task_get_exception_ports_internal()4750 port_ptrs[j] = exc_port; in task_get_exception_ports_internal()