csan_cell_t
kcsan_access_is_atomic(csan_cell_t *new, csan_cell_t *old)
csan_cell_t old, new;
csan_cell_t cell;
kcsan_report(csan_cell_t *new, cpuid_t newcpu, csan_cell_t *old, cpuid_t oldcpu)