/* Execute the next scheduled HW event (advancing time until that event would trigger)  */
void nsi_hws_one_event(void)
/* Execute the next scheduled HW event (advancing time until that event would trigger)  */
void nsi_hws_one_event(void)
{
	nsi_hws_sleep_until_next_event();
	if (next_timer_index < number_of_events) {
		__nsi_hw_events_start[next_timer_index].callback();
	} else {
		nsi_print_error_and_exit("next_timer_index corrupted\n");
	}
	nsi_hws_find_next_event();
}