queue_t queue;
+uint32_t time_s() { return time_us_64() / 1000000ul; }
+
static void button_pressed() {
/* This runs in interrupt context; don't linger. */
static uint64_t last_button_press_time = 0;
- uint64_t now = time_us_64();
- uint64_t time_since_last_press = now - last_button_press_time;
- if (time_since_last_press > minimum_microseconds_between_button_presses) {
+ uint32_t now = time_s();
+ uint32_t time_since_last_press = now - last_button_press_time;
+ if (time_since_last_press >= minimum_seconds_between_button_presses) {
last_button_press_time = now;
char zero = '\0';
/* We don't check for failure (full queue) here because there's not much to