Home
last modified time | relevance | path

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

/linux-5.19.10/include/linux/
Dkcsan-checks.h370 #define ASSERT_EXCLUSIVE_WRITER(var) \ macro
/linux-5.19.10/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-5.19.10/kernel/rcu/
Dtree.c1811 ASSERT_EXCLUSIVE_WRITER(rcu_state.gp_seq); in rcu_gp_init()
2115 ASSERT_EXCLUSIVE_WRITER(rcu_state.gp_seq); in rcu_gp_cleanup()
4391 ASSERT_EXCLUSIVE_WRITER(rcu_state.ncpus); in rcu_cpu_starting()
/linux-5.19.10/kernel/
Dfork.c470 ASSERT_EXCLUSIVE_WRITER(orig->vm_flags); in vm_area_dup()
471 ASSERT_EXCLUSIVE_WRITER(orig->vm_file); in vm_area_dup()
/linux-5.19.10/Documentation/dev-tools/
Dkcsan.rst229 :functions: ASSERT_EXCLUSIVE_WRITER ASSERT_EXCLUSIVE_WRITER_SCOPED
/linux-5.19.10/kernel/kcsan/
Dkcsan_test.c358 ASSERT_EXCLUSIVE_WRITER(test_var); in test_kernel_assert_writer()