clockintr_schedule
clockintr_schedule(&dp->dp_clockintr,
clockintr_schedule(&cq->cq_hardclock, 0);
void clockintr_schedule(struct clockintr *, uint64_t);