/* Note that the HW models should register their initialization functions as NSI_TASKS of HW_INIT level.  */
void nsi_hws_init(void)
/* Note that the HW models should register their initialization functions as NSI_TASKS of HW_INIT level.  */
void nsi_hws_init(void)
{
	number_of_events = __nsi_hw_events_end - __nsi_hw_events_start;
	nsi_hws_set_sig_handler();
	nsi_hws_find_next_event();
}