kona_timer_set_next_event
.set_next_event = kona_timer_set_next_event,
kona_timer_set_next_event((arch_timer_rate / HZ), NULL);