kona_timer_set_next_event  142 drivers/clocksource/bcm_kona_timer.c 	.set_next_event = kona_timer_set_next_event,
kona_timer_set_next_event  196 drivers/clocksource/bcm_kona_timer.c 	kona_timer_set_next_event((arch_timer_rate / HZ), NULL);