Home
last modified time | relevance | path

Searched refs:KCSAN_ACCESS_ASSERT (Results 1 – 7 of 7) sorted by relevance

/Linux-v5.15/include/linux/
Dkcsan-checks.h21 #define KCSAN_ACCESS_ASSERT (1 << 3) /* Access is an assertion. */ macro
291 __kcsan_check_access(&(var), sizeof(var), KCSAN_ACCESS_ASSERT)
340 __ASSERT_EXCLUSIVE_SCOPED(var, KCSAN_ACCESS_ASSERT, __COUNTER__)
372 __kcsan_check_access(&(var), sizeof(var), KCSAN_ACCESS_WRITE | KCSAN_ACCESS_ASSERT)
388 __ASSERT_EXCLUSIVE_SCOPED(var, KCSAN_ACCESS_WRITE | KCSAN_ACCESS_ASSERT, __COUNTER__)
448 __kcsan_check_access(&(var), sizeof(var), KCSAN_ACCESS_ASSERT);\
/Linux-v5.15/kernel/kcsan/
Dkcsan_test.c151 const bool is_assert = (r->access[0].type | r->access[1].type) & KCSAN_ACCESS_ASSERT; in report_matches()
199 (ty & KCSAN_ACCESS_ASSERT) ? in report_matches()
724 { test_kernel_assert_writer, &test_var, sizeof(test_var), KCSAN_ACCESS_ASSERT }, in test_assert_exclusive_writer()
742 …{ test_kernel_assert_access, &test_var, sizeof(test_var), KCSAN_ACCESS_ASSERT | KCSAN_ACCESS_WRITE… in test_assert_exclusive_access()
760 …{ test_kernel_assert_access, &test_var, sizeof(test_var), KCSAN_ACCESS_ASSERT | KCSAN_ACCESS_WRITE… in test_assert_exclusive_access_writer()
761 { test_kernel_assert_writer, &test_var, sizeof(test_var), KCSAN_ACCESS_ASSERT }, in test_assert_exclusive_access_writer()
766 …{ test_kernel_assert_access, &test_var, sizeof(test_var), KCSAN_ACCESS_ASSERT | KCSAN_ACCESS_WRITE… in test_assert_exclusive_access_writer()
767 …{ test_kernel_assert_access, &test_var, sizeof(test_var), KCSAN_ACCESS_ASSERT | KCSAN_ACCESS_WRITE… in test_assert_exclusive_access_writer()
772 { test_kernel_assert_writer, &test_var, sizeof(test_var), KCSAN_ACCESS_ASSERT }, in test_assert_exclusive_access_writer()
773 { test_kernel_assert_writer, &test_var, sizeof(test_var), KCSAN_ACCESS_ASSERT }, in test_assert_exclusive_access_writer()
[all …]
Dcore.c230 if (type & KCSAN_ACCESS_ASSERT) in is_atomic()
315 (type & (KCSAN_ACCESS_COMPOUND | KCSAN_ACCESS_ASSERT)) ? 1 : 0; in delay_access()
356 const bool is_assert = (type & KCSAN_ACCESS_ASSERT) != 0; in kcsan_found_watchpoint()
422 const bool is_assert = (type & KCSAN_ACCESS_ASSERT) != 0; in kcsan_setup_watchpoint()
Dreport.c213 if (type & KCSAN_ACCESS_ASSERT) { in get_access_type()
255 return (type & KCSAN_ACCESS_ASSERT) != 0 ? "assert: race" : "data-race"; in get_bug_type()
/Linux-v5.15/mm/kfence/
Dcore.c372 KCSAN_ACCESS_SCOPED | KCSAN_ACCESS_WRITE | KCSAN_ACCESS_ASSERT, in kfence_guarded_free()
/Linux-v5.15/mm/
Dslab.c3451 KCSAN_ACCESS_WRITE | KCSAN_ACCESS_ASSERT); in __cache_free()
Dslub.c1680 KCSAN_ACCESS_WRITE | KCSAN_ACCESS_ASSERT); in slab_free_hook()