/* This function clears and enables a GPIO pin interrupt flag */
static void GPIO_clearAndEnable(uint8_t index)
/* This function clears and enables a GPIO pin interrupt flag */
static void GPIO_clearAndEnable(uint8_t index)
{
    GPIO_clearInt(index);
    GPIO_enableInt(index);
}