/* Enable the HW timer tick interrupts with a period <period> in microseconds  */
void hwtimer_enable(uint64_t period)
/* Enable the HW timer tick interrupts with a period <period> in microseconds  */
void hwtimer_enable(uint64_t period)
{
	tick_p = period;
	hw_timer_tick_timer = nsi_hws_get_time() + tick_p;
	hwtimer_update_timer();
	nsi_hws_find_next_event();
}