6#if !defined(DRIVER_TIMER_DRIVER_H)
7#define DRIVER_TIMER_DRIVER_H
12#define RIT_Handler RIT_IRQHandler
void board_timer_irq_handler(void)
Handler de bajo nivel del RIT para mantener el tick del sistema.
uint32_t board_timer_get_ticks(void)
Devuelve la cantidad de ticks acumulados por el RIT.
void board_timer_init(uint32_t timer_value_ms)
Inicializa y arranca el temporizador RIT con un periodo dado.