clockintr_schedule_locked
clockintr_schedule_locked(cl, expiration);
void clockintr_schedule_locked(struct clockintr *, uint64_t);