+#if CONFIG_DTRACE && (DEVELOPMENT || DEBUG )
+ DTRACE_INT5(interrupt__complete, 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
+