EXTI_enable_pins();

void gpio_isr(void* pvArg)
{
  gpio_t pin_num = (gpio_t) pvArg;
  xEventGroupSetBitsFromISR( xEventGroup,1 << pin_num);
}

void gpio_task(void* Arg)
{
  while(1)
  {
    xEventGroupWaitBits(xEventGroup,xEventAnyBit , pdTRUE, pdFALSE, portMAX_DELAY);
    process_gpio();
  }

  vTaskDelete(NULL);
}

EXTI_enable_pins();

void gpio_isr(void* pvArg)
{
  gpio_t pin_num = (gpio_t) pvArg;
  xEventGroupSetBitsFromISR( xEventGroup,1 << pin_num);
}

void gpio_task(void* Arg)
{
  while(1)
  {
    xEventGroupWaitBits(xEventGroup,xEventAnyBit , pdTRUE, pdFALSE, portMAX_DELAY);
    process_gpio();
  }

  vTaskDelete(NULL);
}