/* Starts the counter. It must be previously configured with hw_counter_set_period() and hw_counter_set_target().  */
void hw_counter_start(void)
/* Starts the counter. It must be previously configured with hw_counter_set_period() and hw_counter_set_target().  */
void hw_counter_start(void)
{
	if (counter_running) {
		return;
	}
	counter_running = true;
	hw_counter_timer = hwm_get_time() + counter_period;
	hwm_find_next_timer();
}