IRQ_SOFTWARE = 70

teensy4/imxrt.h

         IRQ_SAI3_TX =           59,
         IRQ_SPDIF =             60,
         IRQ_BROWNOUT0 =         61,
-        IRQ_SOFTWARE =		62,
+        IRQ_Reserved1 =		62,
         IRQ_TEMPERATURE =       63,
         IRQ_TEMPERATURE_PANIC = 64,
         IRQ_USBPHY0 =           65,
         IRQ_ADC1 =              67,
         IRQ_ADC2 =              68,
         IRQ_DCDC =              69,
-        IRQ_Reserved1 =         70,
+        IRQ_SOFTWARE =          70,
         IRQ_Reserved2 =         71,
         IRQ_GPIO1_INT0 =        72,
         IRQ_GPIO1_INT1 =        73,
         IRQ_FLEXPWM4_FAULT =    151,
         IRQ_ENET2 =             152, // RT1060 only
         IRQ_ENET2_TIMER =       153, // RT1060 only
-        IRQ_Reserved6 =		154,
-        IRQ_Reserved7 =		155,
+        IRQ_Reserved6 =         154,
+        IRQ_Reserved7 =         155,
         IRQ_CAN3 =              156, // RT1060 only
         IRQ_GPIO6789 =          157, // RT1060 only
         IRQ_SJC_DEBUG =         158,