Searched refs:vktimer_intr (Results 1 – 4 of 4) sorted by relevance
184 kqueue_timer_info = kqueue_add_timer(vktimer_intr, NULL); in vktimer_intr_initclock()312 vktimer_intr(struct intrframe *frame) in vktimer_intr() function
152 vktimer_intr(NULL); in splz()
125 void vktimer_intr(struct intrframe *);
178 vktimer_intr(NULL); in timersig()