CPU_UARRAY_VAL
uint64_t addend = CPU_UARRAY_VAL(cua, c, index);
uint64_t addend = CPU_UARRAY_VAL(cua, c, i);
CPU_UARRAY_VAL(z->zone_ustate, cpu->cpu_id,
CPU_UARRAY_VAL(z->zone_ustate, cpu->cpu_id,
CPU_UARRAY_VAL(z->zone_ustate, t->t_cpu->cpu_id,
CPU_UARRAY_VAL(z->zone_ustate, t->t_cpu->cpu_id,
CPU_UARRAY_VAL(z->zone_ustate, CPU->cpu_id,