ci_counts
l->l_cpu->ci_counts[idx] += delta;
KASSERT(sizeof(ci->ci_counts) == sizeof(cpu_counts));
memcpy(cpu_counts, curcpu()->ci_counts, sizeof(cpu_counts));
curcpu()->ci_counts[CPU_COUNT_SYNC]++;
ptr = ci->ci_counts;
curcpu()->ci_counts[(idx)] += (d); \
(uint32_t)ci->ci_counts[CPU_COUNT_NFAULT]);