Home
last modified time | relevance | path

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

/Linux-v5.15/include/linux/
Dkcsan-checks.h290 #define ASSERT_EXCLUSIVE_WRITER(var) \ macro
/Linux-v5.15/tools/memory-model/Documentation/
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-v5.15/kernel/kcsan/
Dkcsan_test.c302 ASSERT_EXCLUSIVE_WRITER(test_var); in test_kernel_assert_writer()
/Linux-v5.15/kernel/rcu/
Dtree.c1767 ASSERT_EXCLUSIVE_WRITER(rcu_state.gp_seq); in rcu_gp_init()
2073 ASSERT_EXCLUSIVE_WRITER(rcu_state.gp_seq); in rcu_gp_cleanup()
4261 ASSERT_EXCLUSIVE_WRITER(rcu_state.ncpus); in rcu_cpu_starting()
/Linux-v5.15/Documentation/dev-tools/
Dkcsan.rst229 :functions: ASSERT_EXCLUSIVE_WRITER ASSERT_EXCLUSIVE_WRITER_SCOPED
/Linux-v5.15/kernel/
Dfork.c360 ASSERT_EXCLUSIVE_WRITER(orig->vm_flags); in vm_area_dup()
361 ASSERT_EXCLUSIVE_WRITER(orig->vm_file); in vm_area_dup()