clock_tick_set_t
clock_tick_set_t *clock_tick_set;
clock_tick_set_t *csp;
clock_tick_set = kmem_zalloc(sizeof (clock_tick_set_t) * n, KM_SLEEP);
clock_tick_schedule_one(clock_tick_set_t *csp, int pending, processorid_t cid)
clock_tick_set_t *csp;
clock_tick_set_t *csp;