kcsan_atomic_next
void kcsan_atomic_next(int n);
kcsan_atomic_next(1); \
kcsan_atomic_next(KCSAN_SEQLOCK_REGION_MAX); \
kcsan_atomic_next(KCSAN_SEQLOCK_REGION_MAX); \
kcsan_atomic_next(0);
kcsan_atomic_next(KCSAN_SEQLOCK_REGION_MAX);
kcsan_atomic_next(0);
EXPORT_SYMBOL(kcsan_atomic_next);