I am in the process of porting some TM4C123x code to the '129. I am using driver libraries from TivaWare version 2.1.0.12573.
I notice that when I call this function : GPIOPinConfigure(GPIO_PA2_T1CCP0) which is used to configure the port pin to be used as the timer compare output, the constant "GPIO_PA2_T1CCCP0" refers to the APB base address of the port instead of the AHB base address.
According to the '129 data sheet, the GPIO ports do not connect to the APB, only AHB connections are shown.
If I watch the registers in the debugger, the port seems to be affected but the base addresses are different.
I believe the whole issue is because the GPIO_PA2_T1CCCP0 constants that are defined in pin_map.h do not have provisions to support AHB addresses on the '129 parts.
Perhaps this will be fixed in later versions but I'm still not sure why the code works unless there is some undisclosed compatibility mode going on in the silicon.
Randy