Searched refs:ASSERT_EXCLUSIVE_ACCESS (Results 1 – 5 of 5) sorted by relevance
220 For example, ASSERT_EXCLUSIVE_ACCESS(foo) tells KCSAN that any229 ASSERT_EXCLUSIVE_ACCESS() or ASSERT_EXCLUSIVE_WRITER() on the one hand487 ASSERT_EXCLUSIVE_ACCESS(foo);511 ASSERT_EXCLUSIVE_ACCESS() allows KCSAN to flag buggy concurrent unmarked512 reads, and the ASSERT_EXCLUSIVE_ACCESS() call further allows KCSAN to558 ASSERT_EXCLUSIVE_ACCESS(foo);570 ASSERT_EXCLUSIVE_ACCESS(foo);579 ASSERT_EXCLUSIVE_ACCESS(foo);584 each possible pair of ASSERT_EXCLUSIVE_ACCESS() invocations, the587 ASSERT_EXCLUSIVE_ACCESS() under #ifdef so that they did not result in
250 ASSERT_EXCLUSIVE_ACCESS(*first); in __list_splice_init_rcu()251 ASSERT_EXCLUSIVE_ACCESS(*last); in __list_splice_init_rcu()
451 #define ASSERT_EXCLUSIVE_ACCESS(var) \ macro
230 ASSERT_EXCLUSIVE_ACCESS ASSERT_EXCLUSIVE_ACCESS_SCOPED
368 ASSERT_EXCLUSIVE_ACCESS(test_var); in test_kernel_assert_access()