diff options
Diffstat (limited to 'libhw')
| -rw-r--r-- | libhw/host_alarmclock.c | 3 | ||||
| -rw-r--r-- | libhw/rp2040_hwtimer.c | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/libhw/host_alarmclock.c b/libhw/host_alarmclock.c index 1d26f1a..cc84c5d 100644 --- a/libhw/host_alarmclock.c +++ b/libhw/host_alarmclock.c @@ -169,6 +169,7 @@ static void hostclock_del_trigger(implements_alarmclock *_alarmclock, trigger->alarmclock = NULL; trigger->prev = NULL; trigger->next = NULL; - } + } else + assert(!trigger->alarmclock); cr_restore_interrupts(saved); } diff --git a/libhw/rp2040_hwtimer.c b/libhw/rp2040_hwtimer.c index 9f0d901..9af499a 100644 --- a/libhw/rp2040_hwtimer.c +++ b/libhw/rp2040_hwtimer.c @@ -166,6 +166,7 @@ static void rp2040_hwtimer_del_trigger(implements_alarmclock *_alarmclock, trigger->alarmclock = NULL; trigger->prev = NULL; trigger->next = NULL; - } + } else + assert(!trigger->alarmclock); cr_restore_interrupts(saved); } |