* Takes a timer number and a timer config structure as arguments.
* Refer to timer config structure for details.
*/
-int timer_setup(uint32_t timer_num, struct timer_config* conf)
+int timer_setup(uint32_t timer_num, const struct timer_config* conf)
{
struct timer_device* timer = NULL;
int i = 0;
* Refer to timer config structure for details.
* Note: use of channel 3 for PWM cycle length is enforced.
*/
-int timer_setup(uint32_t timer_num, struct timer_config* conf);
+int timer_setup(uint32_t timer_num, const struct timer_config* conf);