Hi,
TM4C1230D5PM is classified as Blizzard by Tivaware, and GPIOIntEnable() is not allowed.
However, this function is only about setting up GPIO_O_IM (offset 0x410) register, which is a valid one as per the datasheet.
Is this an error of Tivaware?
My Tivaware version is 2.1.4.178