Searched refs:ipc_info_port_t (Results 1 – 6 of 6) sorted by relevance
119 } ipc_info_port_t; typedef121 typedef ipc_info_port_t *exception_handler_info_array_t;
89 ipc_info_port_t ports_info[EXC_TYPES_COUNT]; in attempt_kernel_inspection()129 ipc_info_port_t ports_info[EXC_TYPES_COUNT]; in attempt_kernel_inspection()
21 ipc_info_port_t ports_info[EXC_TYPES_COUNT];
208 typedef ipc_info_port_t *exception_port_info_array_t;
228 typedef ipc_info_port_t exception_handler_info_t;
4470 ports_info[j] = (ipc_info_port_t){ .iip_port_object = 0, .iip_receiver_object = 0 }; in thread_get_exception_ports_internal()4629 ports_info[j] = (ipc_info_port_t){ .iip_port_object = 0, .iip_receiver_object = 0 }; in task_get_exception_ports_internal()