Symbol: kona_timer_set_next_event
drivers/clocksource/bcm_kona_timer.c
132
.set_next_event = kona_timer_set_next_event,
drivers/clocksource/bcm_kona_timer.c
182
kona_timer_set_next_event((arch_timer_rate / HZ), NULL);