The Timer API

This is the Timer module API:

../../../../sw/components/timer/timer.h

For more info on the Timer module, refer to the Timer gateware component section.

See the timer_uart_gpio_irqs test for example usage of the API.