/* Set selected GPIO Interrupts. 
ui64InterruptMask should be a logical or of AM_HAL_GPIO_BITx defines. */
void am_hal_gpio_int_set(uint64_t ui64InterruptMask)
/* Set selected GPIO Interrupts. 
ui64InterruptMask should be a logical or of AM_HAL_GPIO_BITx defines. */
void am_hal_gpio_int_set(uint64_t ui64InterruptMask)
{
    AM_REG(GPIO, INT1SET) = (ui64InterruptMask >> 32);
    AM_REG(GPIO, INT0SET) = (ui64InterruptMask & 0xFFFFFFFF);
}