KCSAN_SEQLOCK_REGION_MAX
kcsan_atomic_next(KCSAN_SEQLOCK_REGION_MAX); \
kcsan_atomic_next(KCSAN_SEQLOCK_REGION_MAX);