Searched refs:ASSERT_EXCLUSIVE_ACCESS (Results 1 – 5 of 5) sorted by relevance

/linux/tools/memory-model/Documentation/
A D	access-marking.txt	220 For example, ASSERT_EXCLUSIVE_ACCESS(foo) tells KCSAN that any 229 ASSERT_EXCLUSIVE_ACCESS() or ASSERT_EXCLUSIVE_WRITER() on the one hand 487 ASSERT_EXCLUSIVE_ACCESS(foo); 511 ASSERT_EXCLUSIVE_ACCESS() allows KCSAN to flag buggy concurrent unmarked 512 reads, and the ASSERT_EXCLUSIVE_ACCESS() call further allows KCSAN to 558 ASSERT_EXCLUSIVE_ACCESS(foo); 570 ASSERT_EXCLUSIVE_ACCESS(foo); 579 ASSERT_EXCLUSIVE_ACCESS(foo); 584 each possible pair of ASSERT_EXCLUSIVE_ACCESS() invocations, the 587 ASSERT_EXCLUSIVE_ACCESS() under #ifdef so that they did not result in
/linux/include/linux/
A D	kcsan-checks.h	374 #define ASSERT_EXCLUSIVE_ACCESS(var) \ macro
A D	rculist.h	250 ASSERT_EXCLUSIVE_ACCESS(*first); in __list_splice_init_rcu() 251 ASSERT_EXCLUSIVE_ACCESS(*last); in __list_splice_init_rcu()
/linux/kernel/kcsan/
A D	kcsan_test.c	314 ASSERT_EXCLUSIVE_ACCESS(test_var); in test_kernel_assert_access()
/linux/Documentation/dev-tools/
A D	kcsan.rst	230 ASSERT_EXCLUSIVE_ACCESS ASSERT_EXCLUSIVE_ACCESS_SCOPED

Completed in 12 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023