void timerActivateBus(timerNo_t timer); 
void timerEnableTimer(timerNo_t timer); 
void timerSetClkSource(timerNo_t timer, clkSources_t clk); 
void timerSetMode(timerNo_t timer, timerMode_t mode); 
void timerSetCountDirection(timerNo_t timer, timerCountDirection_t direction); 
void timerSetPrescaler(timerNo_t timer, uint32_t prescaler); 
void timerSetPostscaler(timerNo_t timer, uint32_t postscaler); 
void timerSetAutoReload(timerNo_t timer, uint32_t reload); 
void timerClearCounter(timerNo_t timer); 


/* Second stage configuration */
void setTimerHz(timerNo_t timer, uint16_t hz); 
void setTimerMs(timerNo_t timer, uint16_t ms); 
void setTimerNs(timerNo_t timer, uint16_t ns); 
void setTimerPs(timerNo_t timer, uint16_t ps);