/* Interrupt handler for the timer interrupt Announce to the kernel that a number of ticks have passed  */
static void np_timer_isr(const void *arg)
/* Interrupt handler for the timer interrupt Announce to the kernel that a number of ticks have passed  */
static void np_timer_isr(const void *arg)
{
	ARG_UNUSED(arg);
	uint64_t now = hwm_get_time();
	int32_t elapsed_ticks = (now - last_tick_time)/tick_period;
	last_tick_time += elapsed_ticks*tick_period;
	sys_clock_announce(elapsed_ticks);
}