Searched refs:ASSERT_EXCLUSIVE_ACCESS (Results 1 – 5 of 5) sorted by relevance
30 6. KCSAN's negative-marking assertions, ASSERT_EXCLUSIVE_ACCESS()243 For example, ASSERT_EXCLUSIVE_ACCESS(foo) tells KCSAN that any252 ASSERT_EXCLUSIVE_ACCESS() or ASSERT_EXCLUSIVE_WRITER() on the one hand510 ASSERT_EXCLUSIVE_ACCESS(foo);534 ASSERT_EXCLUSIVE_ACCESS() allows KCSAN to flag buggy concurrent unmarked535 reads, and the ASSERT_EXCLUSIVE_ACCESS() call further allows KCSAN to581 ASSERT_EXCLUSIVE_ACCESS(foo);593 ASSERT_EXCLUSIVE_ACCESS(foo);602 ASSERT_EXCLUSIVE_ACCESS(foo);607 each possible pair of ASSERT_EXCLUSIVE_ACCESS() invocations, the[all …]
297 ASSERT_EXCLUSIVE_ACCESS(*first); in __list_splice_init_rcu()298 ASSERT_EXCLUSIVE_ACCESS(*last); in __list_splice_init_rcu()
451 #define ASSERT_EXCLUSIVE_ACCESS(var) \ macro
371 ASSERT_EXCLUSIVE_ACCESS(test_var); in test_kernel_assert_access()
240 ASSERT_EXCLUSIVE_ACCESS ASSERT_EXCLUSIVE_ACCESS_SCOPED