18 Chip_RIT_Init(LPC_RITIMER);
19 Chip_RIT_SetTimerInterval(LPC_RITIMER, timer_value_ms);
22 NVIC_ClearPendingIRQ(RITIMER_IRQn);
23 NVIC_EnableIRQ(RITIMER_IRQn);
29 Chip_RIT_ClearInt(LPC_RITIMER);
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.
static volatile uint32_t board_timer_ticks_
Interfaz del driver del temporizador RIT.