vktimer_intr_initclock
static void vktimer_intr_initclock(struct cputimer_intr *, boolean_t);
.initclock = vktimer_intr_initclock,