include/linux/kcsan-checks.h

340  * ASSERT_EXCLUSIVE_WRITER - assert no concurrent writes to @var
342  * Assert that there are no concurrent writes to @var; other readers are
368  * @var: variable to assert on
370 #define ASSERT_EXCLUSIVE_WRITER(var)                                           \
371 	__kcsan_check_access(&(var), sizeof(var), KCSAN_ACCESS_ASSERT)
379 #define __ASSERT_EXCLUSIVE_SCOPED(var, type, id)                               \
384 			&(var), sizeof(var), KCSAN_ACCESS_SCOPED | (type),     \
388  * ASSERT_EXCLUSIVE_WRITER_SCOPED - assert no concurrent writes to @var in scope
392  * Assert that there are no concurrent writes to @var for the duration of the
417  * @var: variable to assert on
419 #define ASSERT_EXCLUSIVE_WRITER_SCOPED(var)                                    \
420 	__ASSERT_EXCLUSIVE_SCOPED(var, KCSAN_ACCESS_ASSERT, __COUNTER__)
423  * ASSERT_EXCLUSIVE_ACCESS - assert no concurrent accesses to @var
425  * Assert that there are no concurrent accesses to @var (no readers nor
449  * @var: variable to assert on
451 #define ASSERT_EXCLUSIVE_ACCESS(var)                                           \
452 	__kcsan_check_access(&(var), sizeof(var), KCSAN_ACCESS_WRITE | KCSAN_ACCESS_ASSERT)
455  * ASSERT_EXCLUSIVE_ACCESS_SCOPED - assert no concurrent accesses to @var in scope
459  * Assert that there are no concurrent accesses to @var (no readers nor writers)
465  * @var: variable to assert on
467 #define ASSERT_EXCLUSIVE_ACCESS_SCOPED(var)                                    \
468 	__ASSERT_EXCLUSIVE_SCOPED(var, KCSAN_ACCESS_WRITE | KCSAN_ACCESS_ASSERT, __COUNTER__)
471  * ASSERT_EXCLUSIVE_BITS - assert no concurrent writes to subset of bits in @var
475  * Assert that there are no concurrent writes to a subset of bits in @var;
508  * Another example, where this may be used, is when certain bits of @var may
522  * @var: variable to assert on
525 #define ASSERT_EXCLUSIVE_BITS(var, mask)                                       \
528 		__kcsan_check_access(&(var), sizeof(var), KCSAN_ACCESS_ASSERT);\