61int BSP_timer_instances(
void);
72int BSP_timer_setup(uint32_t timer,
void (*isr)(
void *arg),
void *arg,
int reload);
78int BSP_timer_stop(uint32_t timer);
84int BSP_timer_start(uint32_t timer, uint32_t period);
90uint32_t BSP_timer_read(uint32_t timer);
93uint32_t BSP_timer_clock_get(uint32_t timer);
99int BSP_timers_initialize(
void);
108int BSP_watchdog_enable(uint32_t timeout_us);
113int BSP_watchdog_disable(
void);
120int BSP_watchdog_status(
void);
126int BSP_watchdog_pet(
void);