/* Gets interrupt status for the specified GPIO port. */
uint32_t GPIOIntStatus(uint32_t ui32Port, bool bMasked)
/* Gets interrupt status for the specified GPIO port. */
uint32_t GPIOIntStatus(uint32_t ui32Port, bool bMasked)
{
    ASSERT(_GPIOBaseValid(ui32Port));
    if (bMasked)
    {
        return (HWREG(ui32Port + GPIO_O_MIS));
    }
    else
    {
        return (HWREG(ui32Port + GPIO_O_RIS));
    }
}