16 #define TIMER_DEFAULT_PRIORITY 0
void TimerIntEnable(uint32_t ui32Base, uint32_t ui32IntFlags)
#define TIMER_TIMA_TIMEOUT
uint32_t SysCtlClockGet(void)
void TimerConfigure(uint32_t ui32Base, uint32_t ui32Config)
#define TIMER_DEFAULT_PRIORITY
void timer_add_interrupt(hw_metadata metadata)
void TimerEnable(uint32_t ui32Base, uint32_t ui32Timer)
void TimerLoadSet(uint32_t ui32Base, uint32_t ui32Timer, uint32_t ui32Value)
void IntEnable(uint32_t ui32Interrupt)