CPU_COUNT_MAX
int64_t sum[CPU_COUNT_MAX], *ptr;
for (i = 0; i < CPU_COUNT_MAX; i += 8) {
KASSERT(i == CPU_COUNT_MAX);
int64_t cpu_counts[CPU_COUNT_MAX];
int64_t cpu_counts[CPU_COUNT_MAX];/* per-CPU counts */
KASSERT((unsigned)(idx) < CPU_COUNT_MAX); \