- per_proc_info[current_cpu].interrupt_handler(
- per_proc_info[current_cpu].interrupt_target,
- per_proc_info[current_cpu].interrupt_refCon,
- per_proc_info[current_cpu].interrupt_nub,
- per_proc_info[current_cpu].interrupt_source);
+#if CONFIG_DTRACE && (DEVELOPMENT || DEBUG )
+ DTRACE_INT5(interrupt__start, void *, proc_info->interrupt_nub, int, proc_info->interrupt_source,
+ void *, proc_info->interrupt_target, IOInterruptHandler, proc_info->interrupt_handler,
+ void *, proc_info->interrupt_refCon);
+#endif
+
+ proc_info->interrupt_handler(
+ proc_info->interrupt_target,
+ proc_info->interrupt_refCon,
+ proc_info->interrupt_nub,
+ proc_info->interrupt_source);