+static void button_pressed() {
+ /* This runs in interrupt context; don't linger. */
+ static uint64_t last_button_press_time = 0;
+ uint32_t now = time_s();
+ uint32_t time_since_last_press = now - last_button_press_time;
+ if (time_since_last_press >= config_minimum_seconds_between_button_presses) {
+ last_button_press_time = now;
+ event_t e;
+ e.type = NEW_BUTTON_PRESS;
+ e.buttonpress.timestamp = now;
+ queue_try_add_ignoring_errors(&queue, &e);
+ }
+}
+
+static void time_to_send(uint _) {
+ /* This runs in interrupt context; don't linger. */
+ event_t e;
+ e.type = RESEND_TIME;
+ queue_try_add_ignoring_errors(&queue, &e);
+}
+
+void set_resend_alarm(int alarm, uint32_t now, uint32_t next_act_time) {
+ uint32_t sleep_duration = next_act_time - now;
+ if (hardware_alarm_set_target(alarm,
+ make_timeout_time_ms(sleep_duration * 1000)))
+ signal_error_by_blinking();
+ return;