CC3220MOD: GPIO clearInt

Hi community ! :)

In the "platform.c" file from a SDK example I can see the following piece of code:

void Platform_Init()
{
    /* Enable Switch 2*/
    GPIO_setCallback(Board_BUTTON0, (GPIO_CallbackFxn)Platform_gpioButtonFxn0);

    /* Enable interrupts */
    GPIO_enableInt(Board_BUTTON0);

}

//*****************************************************************************
//
//! \brief
//
//*****************************************************************************
void Platform_gpioButtonFxn0(unsigned int index)
{
    //UART_PRINT("******* OTA Switch Pressed - Run OTA Process *******\r\n");
    //notifyOtaCommandArrived();

    GPIO_clearInt(Board_BUTTON0);
}

Does it mean that the host is responsible to clear the interrupt ? 

Thanks !