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