TM4C1294NCPDT data sheet shows GPIO port address being all AHB and registers in ICDI stops AHB at port K-Q. Also the addresses reporting in (hw_memmap.h) for ports K-Q where far different than the data sheet is showing. Typically that would suggest the map file is not correct because an error this big could never have been printed out in a datasheet or could it?
What is going on here the address for ports K-Q were not even close in the addressing of ports A-J making it even more seem a train wreck has occurred?