Searched defs:old_port (Results 1 – 3 of 3) sorted by relevance
500 ipc_port_t old_port[EXC_TYPES_COUNT]; in host_set_exception_ports() local675 ipc_port_t old_port[EXC_TYPES_COUNT]; in host_swap_exception_ports() local
4069 ipc_port_t old_port[EXC_TYPES_COUNT]; in thread_set_exception_ports_internal() local4181 ipc_port_t old_port[EXC_TYPES_COUNT]; in task_set_exception_ports() local4296 ipc_port_t old_port[EXC_TYPES_COUNT]; in thread_swap_exception_ports() local4409 ipc_port_t old_port[EXC_TYPES_COUNT]; in task_swap_exception_ports() local4881 ipc_port_t old_port; in task_register_hardened_exception_handler() local
1265 ipc_port_t old_port; in kernel_set_special_port() local