TM4C1294NCPDT: Bug in driverlib/gpio.c

I'm using revision 2.1.3.156 of the Tiva Peripheral Driver Library.

In the driverlib/gpio.c file, the function GPIOPinWakeStatus at line 2328 returns the address of the GPIO_O_WAKESTAT register instead of the value of the register.

The existing function:

uint32_t
GPIOPinWakeStatus(uint32_t ui32Port)
{

     return(ui32Port + GPIO_O_WAKESTAT);
}

The fix is to use the HWREG macro.

Fixed version:

uint32_t
GPIOPinWakeStatus(uint32_t ui32Port)
{
    return(HWREG(ui32Port + GPIO_O_WAKESTAT));
}