/* Stops the counter at current value. On the next call to hw_counter_start, the counter will start from the value at which it was stopped.  */
void hw_counter_stop(void)
/* Stops the counter at current value. On the next call to hw_counter_start, the counter will start from the value at which it was stopped.  */
void hw_counter_stop(void)
{
	counter_running = false;
	hw_counter_timer = NSI_NEVER;
	nsi_hws_find_next_event();
}