clock_tick_cpu_t
clock_tick_cpu_t *clock_tick_cpu[NCPU];
clock_tick_cpu_t *ctp;
size = P2ROUNDUP(sizeof (clock_tick_cpu_t), _CACHE_LINE_SIZE);
ctp = (clock_tick_cpu_t *)buf;
clock_tick_cpu_t *ctp;
clock_tick_cpu_t *ctp;