Symbol: KCSAN_SEQLOCK_REGION_MAX