Searched refs:ASSERT_EXCLUSIVE_ACCESS (Results 1 – 2 of 2) 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 …]
451 #define ASSERT_EXCLUSIVE_ACCESS(var) \ macro