Does anyone know why the interrupt numbers inside <simplelink_msp432p4_sdk_3_20_00_06/source/ti/devices/msp432p4xx/driverlib/interrupt.h> do not match Table 6-40 NVIC Interrupts in the MSP4x1 Datasheet SLASEA0A –DECEMBER 2017–REVISED FEBRUARY 2018?
Apparent bug in the header file? Best I can tell, the Interrupt Priority Mask Table that follows appears correct?