Lines Matching refs:ASSERT_EXCLUSIVE_ACCESS
30 6. KCSAN's negative-marking assertions, ASSERT_EXCLUSIVE_ACCESS()
243 For example, ASSERT_EXCLUSIVE_ACCESS(foo) tells KCSAN that any
252 ASSERT_EXCLUSIVE_ACCESS() or ASSERT_EXCLUSIVE_WRITER() on the one hand
510 ASSERT_EXCLUSIVE_ACCESS(foo);
534 ASSERT_EXCLUSIVE_ACCESS() allows KCSAN to flag buggy concurrent unmarked
535 reads, and the ASSERT_EXCLUSIVE_ACCESS() call further allows KCSAN to
581 ASSERT_EXCLUSIVE_ACCESS(foo);
593 ASSERT_EXCLUSIVE_ACCESS(foo);
602 ASSERT_EXCLUSIVE_ACCESS(foo);
607 each possible pair of ASSERT_EXCLUSIVE_ACCESS() invocations, the
610 ASSERT_EXCLUSIVE_ACCESS() under #ifdef so that they did not result in