We are trying to determine the function of ADCINT in PIE group 1 (INT1.6) of the 'F280x devices. My guess is that this is a combination of SEQ1INT and SEQ2INT for backwards compatibility with older chips, but I can't find that information in SPRU712 or SPRU716. Here is an excerpt from SPRU712 highlighting the interrupts in question:
