#include <mach/port.h>
#include <mach/thread_status.h>
#include <mach/machine/vm_types.h>
+#include <mach_debug/ipc_info.h>
/*
* Exported types
*/
typedef exception_behavior_t *exception_behavior_array_t;
typedef thread_state_flavor_t *exception_flavor_array_t;
typedef mach_port_t *exception_port_array_t;
+typedef ipc_info_port_t *exception_port_info_array_t;
typedef mach_exception_data_type_t mach_exception_code_t;
typedef mach_exception_data_type_t mach_exception_subcode_t;