| 41 | } |
| 42 | |
| 43 | static inline enum clock_id watchdog_clock(void) { |
| 44 | return watchdog.control & 0x10 ? CLOCK_32K : CLOCK_CPU; |
| 45 | } |
| 46 | |
| 47 | static void watchdog_repeat_counter(enum sched_item_id id) { |
| 48 | assert(watchdog.count != 0); |
no outgoing calls
no test coverage detected