/* Initializes config with predefined default values. 
The default configuration is as follows:  */
void timer_get_config_defaults(struct timer_config *config)
/* Initializes config with predefined default values. 
The default configuration is as follows:  */
void timer_get_config_defaults(struct timer_config *config)
{
	config->reload_value = 0;
	config->interrupt_enable = true;
}