34 TickType_t last_event_tick[2] = {0, 0};
39 if (xQueueReceive(hw_switch_queue, &n, portMAX_DELAY) == pdTRUE)
41 TickType_t now = xTaskGetTickCount();
43 kest_printf(
"now = %d, last_event_tick[n] = %d; now - last_event_tick[n] = %d, debounce_ticks = %d\n", now, last_event_tick[n],
44 now - last_event_tick[n], debounce_ticks);
45 if ((now - last_event_tick[n]) >= debounce_ticks)
47 last_event_tick[n] = now;
int cxt_handle_hw_switch(kest_context *cxt, int sw)