Searched defs:old_port (Results 1 – 3 of 3) sorted by relevance
497 ipc_port_t old_port[EXC_TYPES_COUNT]; in host_set_exception_ports() local701 ipc_port_t old_port[EXC_TYPES_COUNT]; in host_swap_exception_ports() local
4106 ipc_port_t old_port[EXC_TYPES_COUNT]; in thread_set_exception_ports() local4222 ipc_port_t old_port[EXC_TYPES_COUNT]; in task_set_exception_ports() local4371 ipc_port_t old_port[EXC_TYPES_COUNT]; in thread_swap_exception_ports() local4514 ipc_port_t old_port[EXC_TYPES_COUNT]; in task_swap_exception_ports() local
1177 ipc_port_t old_port; in kernel_set_special_port() local