Home
last modified time | relevance | path

Searched refs:ASSERT_EXCLUSIVE_WRITER (Results 1 – 6 of 6) sorted by relevance

/linux/include/linux/
A Dkcsan-checks.h293 #define ASSERT_EXCLUSIVE_WRITER(var) \ macro
/linux/tools/memory-model/Documentation/
A Daccess-marking.txt223 ASSERT_EXCLUSIVE_WRITER(foo) tells KCSAN that although it is OK for there
229 ASSERT_EXCLUSIVE_ACCESS() or ASSERT_EXCLUSIVE_WRITER() on the one hand
332 ASSERT_EXCLUSIVE_WRITER(foo);
344 of the ASSERT_EXCLUSIVE_WRITER() is to allow KCSAN to check for a buggy
465 not make sense to use ASSERT_EXCLUSIVE_WRITER() in this case because
/linux/kernel/rcu/
A Dtree.c1763 ASSERT_EXCLUSIVE_WRITER(rcu_state.gp_seq); in rcu_gp_init()
2071 ASSERT_EXCLUSIVE_WRITER(rcu_state.gp_seq); in rcu_gp_cleanup()
4259 ASSERT_EXCLUSIVE_WRITER(rcu_state.ncpus); in rcu_cpu_starting()
/linux/kernel/kcsan/
A Dkcsan_test.c309 ASSERT_EXCLUSIVE_WRITER(test_var); in test_kernel_assert_writer()
/linux/kernel/
A Dfork.c359 ASSERT_EXCLUSIVE_WRITER(orig->vm_flags); in vm_area_dup()
360 ASSERT_EXCLUSIVE_WRITER(orig->vm_file); in vm_area_dup()
/linux/Documentation/dev-tools/
A Dkcsan.rst229 :functions: ASSERT_EXCLUSIVE_WRITER ASSERT_EXCLUSIVE_WRITER_SCOPED

Completed in 27 milliseconds