1
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
25
26
29
30
34
35
38
39
43
44
47
48
51
52
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
89
90
100
101
109
110
123
124
125
128
129
132
133
136
137
141
142
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
175
176
177
178
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
208
209
210
211
214
215
216
217
218
219
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
268
269
270
271
272
273
274
275
276
277
278
279
282
283
284
285
286
287
288
289
290
291
292
/* ... */
#include "hardware/timer.h"
#include "hardware/irq.h"
#include "hardware/sync.h"
#include "hardware/claim.h"
check_hw_layout(timer_hw_t, ints, TIMER_INTS_OFFSET);
static hardware_alarm_callback_t alarm_callbacks[NUM_GENERIC_TIMERS][NUM_ALARMS];
static uint32_t target_hi[NUM_GENERIC_TIMERS][NUM_ALARMS];
static uint8_t timer_callbacks_pending[NUM_GENERIC_TIMERS];
static_assert(NUM_ALARMS * NUM_GENERIC_TIMERS <= 8, "");
static uint8_t claimed[NUM_GENERIC_TIMERS];
void timer_hardware_alarm_claim(timer_hw_t *timer, uint alarm_num) {
check_hardware_alarm_num_param(alarm_num);
hw_claim_or_assert(&claimed[timer_get_index(timer)], alarm_num, "Hardware alarm %d already claimed");
}{ ... }
void hardware_alarm_claim(uint alarm_num) {
timer_hardware_alarm_claim(PICO_DEFAULT_TIMER_INSTANCE(), alarm_num);
}{ ... }
void timer_hardware_alarm_unclaim(timer_hw_t *timer, uint alarm_num) {
check_hardware_alarm_num_param(alarm_num);
hw_claim_clear(&claimed[timer_get_index(timer)], alarm_num);
}{ ... }
void hardware_alarm_unclaim(uint alarm_num) {
timer_hardware_alarm_unclaim(PICO_DEFAULT_TIMER_INSTANCE(), alarm_num);
}{ ... }
bool timer_hardware_alarm_is_claimed(timer_hw_t *timer, uint alarm_num) {
check_hardware_alarm_num_param(alarm_num);
return hw_is_claimed(&claimed[timer_get_index(timer)], alarm_num);
}{ ... }
bool hardware_alarm_is_claimed(uint alarm_num) {
return timer_hardware_alarm_is_claimed(PICO_DEFAULT_TIMER_INSTANCE(), alarm_num);
}{ ... }
int timer_hardware_alarm_claim_unused(timer_hw_t *timer, bool required) {
return hw_claim_unused_from_range(&claimed[timer_get_index(timer)], required, 0, NUM_ALARMS - 1, "No alarms available");
}{ ... }
int hardware_alarm_claim_unused(bool required) {
return timer_hardware_alarm_claim_unused(PICO_DEFAULT_TIMER_INSTANCE(), required);
}{ ... }
uint64_t timer_time_us_64(timer_hw_t *timer) {
uint32_t hi = timer->timerawh;
uint32_t lo;
do {
lo = timer->timerawl;
uint32_t next_hi = timer->timerawh;
if (hi == next_hi) break;
hi = next_hi;
...} while (true);
return ((uint64_t) hi << 32u) | lo;
}{ ... }
void timer_busy_wait_us_32(timer_hw_t *timer, uint32_t delay_us) {
if (0 <= (int32_t)delay_us) {
uint32_t start = timer->timerawl;
while (timer->timerawl - start < delay_us) {
tight_loop_contents();
}while (timer->timerawl - start < delay_us) { ... }
}if (0 <= (int32_t)delay_us) { ... } else {
busy_wait_us(delay_us);
}else { ... }
}{ ... }
void timer_busy_wait_us(timer_hw_t *timer, uint64_t delay_us) {
uint64_t base = timer_time_us_64(timer);
uint64_t target = base + delay_us;
if (target < base) {
target = (uint64_t)-1;
}if (target < base) { ... }
absolute_time_t t;
update_us_since_boot(&t, target);
timer_busy_wait_until(timer, t);
}{ ... }
void timer_busy_wait_ms(timer_hw_t *timer, uint32_t delay_ms)
{
if (delay_ms <= 0x7fffffffu / 1000) {
timer_busy_wait_us_32(timer, delay_ms * 1000);
}if (delay_ms <= 0x7fffffffu / 1000) { ... } else {
timer_busy_wait_us(timer, delay_ms * 1000ull);
}else { ... }
}{ ... }
void timer_busy_wait_until(timer_hw_t *timer, absolute_time_t t) {
uint64_t target = to_us_since_boot(t);
uint32_t hi_target = (uint32_t)(target >> 32u);
uint32_t hi = timer->timerawh;
while (hi < hi_target) {
hi = timer->timerawh;
tight_loop_contents();
}while (hi < hi_target) { ... }
while (hi == hi_target && timer->timerawl < (uint32_t) target) {
hi = timer->timerawh;
tight_loop_contents();
}while (hi == hi_target && timer->timerawl < (uint32_t) target) { ... }
}{ ... }
uint64_t time_us_64(void) {
return timer_time_us_64(PICO_DEFAULT_TIMER_INSTANCE());
}{ ... }
void busy_wait_us_32(uint32_t delay_us) {
timer_busy_wait_us_32(PICO_DEFAULT_TIMER_INSTANCE(), delay_us);
}{ ... }
void busy_wait_us(uint64_t delay_us) {
timer_busy_wait_us(PICO_DEFAULT_TIMER_INSTANCE(), delay_us);
}{ ... }
void busy_wait_ms(uint32_t delay_ms)
{
timer_busy_wait_ms(PICO_DEFAULT_TIMER_INSTANCE(), delay_ms);
}{ ... }
void busy_wait_until(absolute_time_t t) {
timer_busy_wait_until(PICO_DEFAULT_TIMER_INSTANCE(), t);
}{ ... }
static void hardware_alarm_irq_handler(void) {
uint alarm_num = TIMER_ALARM_NUM_FROM_IRQ(__get_current_exception() - VTABLE_FIRST_IRQ);
check_hardware_alarm_num_param(alarm_num);
uint timer_num = TIMER_NUM_FROM_IRQ(alarm_num);
timer_hw_t *timer = timer_get_instance(timer_num);
hardware_alarm_callback_t callback = NULL;
spin_lock_t *lock = spin_lock_instance(PICO_SPINLOCK_ID_TIMER);
uint32_t save = spin_lock_blocking(lock);
timer->intr = 1u << alarm_num;
hw_clear_bits(&timer->intf, 1u << alarm_num);
if (timer_callbacks_pending[timer_num] & (1u << alarm_num)) {
if (timer->timerawh >= target_hi[timer_num][alarm_num]) {
callback = alarm_callbacks[timer_num][alarm_num];
timer_callbacks_pending[timer_num] &= (uint8_t)~(1u << alarm_num);
}if (timer->timerawh >= target_hi[timer_num][alarm_num]) { ... } else {
timer->alarm[alarm_num] = timer->alarm[alarm_num];
}else { ... }
}if (timer_callbacks_pending[timer_num] & (1u << alarm_num)) { ... }
spin_unlock(lock, save);
if (callback) {
callback(alarm_num);
}if (callback) { ... }
}{ ... }
void timer_hardware_alarm_set_callback(timer_hw_t *timer, uint alarm_num, hardware_alarm_callback_t callback) {
check_hardware_alarm_num_param(alarm_num);
uint timer_num = timer_get_index(timer);
uint irq_num = TIMER_ALARM_IRQ_NUM(timer, alarm_num);
spin_lock_t *lock = spin_lock_instance(PICO_SPINLOCK_ID_TIMER);
uint32_t save = spin_lock_blocking(lock);
if (callback) {
if (hardware_alarm_irq_handler != irq_get_vtable_handler(irq_num)) {
irq_set_exclusive_handler(irq_num, hardware_alarm_irq_handler);
irq_set_enabled(irq_num, true);
hw_set_bits(&timer->inte, 1u << alarm_num);
}if (hardware_alarm_irq_handler != irq_get_vtable_handler(irq_num)) { ... }
alarm_callbacks[timer_num][alarm_num] = callback;
}if (callback) { ... } else {
alarm_callbacks[timer_num][alarm_num] = NULL;
timer_callbacks_pending[timer_num] &= (uint8_t)~(1u << alarm_num);
irq_remove_handler(irq_num, hardware_alarm_irq_handler);
irq_set_enabled(irq_num, false);
}else { ... }
spin_unlock(lock, save);
}{ ... }
void hardware_alarm_set_callback(uint alarm_num, hardware_alarm_callback_t callback) {
timer_hardware_alarm_set_callback(PICO_DEFAULT_TIMER_INSTANCE(), alarm_num, callback);
}{ ... }
bool timer_hardware_alarm_set_target(timer_hw_t *timer, uint alarm_num, absolute_time_t target) {
bool missed;
uint64_t now = timer_time_us_64(timer);
uint64_t t = to_us_since_boot(target);
if (now >= t) {
missed = true;
}if (now >= t) { ... } else {
missed = false;
uint timer_num = timer_get_index(timer);
spin_lock_t *lock = spin_lock_instance(PICO_SPINLOCK_ID_TIMER);
uint32_t save = spin_lock_blocking(lock);
uint8_t old_timer_callbacks_pending = timer_callbacks_pending[timer_num];
timer_callbacks_pending[timer_num] |= (uint8_t)(1u << alarm_num);
timer->intr = 1u << alarm_num;
timer->alarm[alarm_num] = (uint32_t) t;
target_hi[timer_num][alarm_num] = (uint32_t)(t >> 32u);
if (!(timer->armed & 1u << alarm_num)) {
assert(timer->ints & 1u << alarm_num);
}if (!(timer->armed & 1u << alarm_num)) { ... } else {
if (timer_time_us_64(timer) >= t) {
missed = true;
if (timer_callbacks_pending[timer_num] != old_timer_callbacks_pending) {
timer->armed = 1u << alarm_num;
timer->intr = 1u << alarm_num;
irq_clear(timer_hardware_alarm_get_irq_num(timer, alarm_num));
timer_callbacks_pending[timer_num] = old_timer_callbacks_pending;
}if (timer_callbacks_pending[timer_num] != old_timer_callbacks_pending) { ... }
}if (timer_time_us_64(timer) >= t) { ... }
}else { ... }
spin_unlock(lock, save);
}else { ... }
return missed;
}{ ... }
bool hardware_alarm_set_target(uint alarm_num, absolute_time_t t) {
return timer_hardware_alarm_set_target(PICO_DEFAULT_TIMER_INSTANCE(), alarm_num, t);
}{ ... }
void timer_hardware_alarm_cancel(timer_hw_t *timer, uint alarm_num) {
check_hardware_alarm_num_param(alarm_num);
spin_lock_t *lock = spin_lock_instance(PICO_SPINLOCK_ID_TIMER);
uint32_t save = spin_lock_blocking(lock);
timer->armed = 1u << alarm_num;
timer_callbacks_pending[timer_get_index(timer)] &= (uint8_t)~(1u << alarm_num);
spin_unlock(lock, save);
}{ ... }
void hardware_alarm_cancel(uint alarm_num) {
timer_hardware_alarm_cancel(PICO_DEFAULT_TIMER_INSTANCE(), alarm_num);
}{ ... }
void timer_hardware_alarm_force_irq(timer_hw_t *timer, uint alarm_num) {
check_hardware_alarm_num_param(alarm_num);
spin_lock_t *lock = spin_lock_instance(PICO_SPINLOCK_ID_TIMER);
uint32_t save = spin_lock_blocking(lock);
timer_callbacks_pending[timer_get_index(timer)] |= (uint8_t)(1u << alarm_num);
spin_unlock(lock, save);
hw_set_bits(&timer->intf, 1u << alarm_num);
}{ ... }
void hardware_alarm_force_irq(uint alarm_num) {
timer_hardware_alarm_force_irq(PICO_DEFAULT_TIMER_INSTANCE(), alarm_num);
}{ ... }