kernel/kcsan/kcsan_test.c

661

KCSAN_EXPECT_RW_BARRIER(mb(), true);

kernel/kcsan/kcsan_test.c

662

KCSAN_EXPECT_RW_BARRIER(wmb(), true);

kernel/kcsan/kcsan_test.c

663

KCSAN_EXPECT_RW_BARRIER(rmb(), true);

kernel/kcsan/kcsan_test.c

664

KCSAN_EXPECT_RW_BARRIER(smp_mb(), true);

kernel/kcsan/kcsan_test.c

665

KCSAN_EXPECT_RW_BARRIER(smp_wmb(), true);

kernel/kcsan/kcsan_test.c

666

KCSAN_EXPECT_RW_BARRIER(smp_rmb(), true);

kernel/kcsan/kcsan_test.c

667

KCSAN_EXPECT_RW_BARRIER(dma_wmb(), true);

kernel/kcsan/kcsan_test.c

668

KCSAN_EXPECT_RW_BARRIER(dma_rmb(), true);

kernel/kcsan/kcsan_test.c

669

KCSAN_EXPECT_RW_BARRIER(smp_mb__before_atomic(), true);

kernel/kcsan/kcsan_test.c

670

KCSAN_EXPECT_RW_BARRIER(smp_mb__after_atomic(), true);

kernel/kcsan/kcsan_test.c

671

KCSAN_EXPECT_RW_BARRIER(smp_mb__after_spinlock(), true);

kernel/kcsan/kcsan_test.c

672

KCSAN_EXPECT_RW_BARRIER(smp_store_mb(test_var, 0), true);

kernel/kcsan/kcsan_test.c

673

KCSAN_EXPECT_RW_BARRIER(smp_load_acquire(&test_var), false);

kernel/kcsan/kcsan_test.c

674

KCSAN_EXPECT_RW_BARRIER(smp_store_release(&test_var, 0), true);

kernel/kcsan/kcsan_test.c

675

KCSAN_EXPECT_RW_BARRIER(xchg(&test_var, 0), true);

kernel/kcsan/kcsan_test.c

676

KCSAN_EXPECT_RW_BARRIER(xchg_release(&test_var, 0), true);

kernel/kcsan/kcsan_test.c

677

KCSAN_EXPECT_RW_BARRIER(xchg_relaxed(&test_var, 0), false);

kernel/kcsan/kcsan_test.c

678

KCSAN_EXPECT_RW_BARRIER(cmpxchg(&test_var, 0, 0), true);

kernel/kcsan/kcsan_test.c

679

KCSAN_EXPECT_RW_BARRIER(cmpxchg_release(&test_var, 0, 0), true);

kernel/kcsan/kcsan_test.c

680

KCSAN_EXPECT_RW_BARRIER(cmpxchg_relaxed(&test_var, 0, 0), false);

kernel/kcsan/kcsan_test.c

681

KCSAN_EXPECT_RW_BARRIER(atomic_read(&dummy), false);

kernel/kcsan/kcsan_test.c

682

KCSAN_EXPECT_RW_BARRIER(atomic_read_acquire(&dummy), false);

kernel/kcsan/kcsan_test.c

683

KCSAN_EXPECT_RW_BARRIER(atomic_set(&dummy, 0), false);

kernel/kcsan/kcsan_test.c

684

KCSAN_EXPECT_RW_BARRIER(atomic_set_release(&dummy, 0), true);

kernel/kcsan/kcsan_test.c

685

KCSAN_EXPECT_RW_BARRIER(atomic_add(1, &dummy), false);

kernel/kcsan/kcsan_test.c

686

KCSAN_EXPECT_RW_BARRIER(atomic_add_return(1, &dummy), true);

kernel/kcsan/kcsan_test.c

687

KCSAN_EXPECT_RW_BARRIER(atomic_add_return_acquire(1, &dummy), false);

kernel/kcsan/kcsan_test.c

688

KCSAN_EXPECT_RW_BARRIER(atomic_add_return_release(1, &dummy), true);

kernel/kcsan/kcsan_test.c

689

KCSAN_EXPECT_RW_BARRIER(atomic_add_return_relaxed(1, &dummy), false);

kernel/kcsan/kcsan_test.c

690

KCSAN_EXPECT_RW_BARRIER(atomic_fetch_add(1, &dummy), true);

kernel/kcsan/kcsan_test.c

691

KCSAN_EXPECT_RW_BARRIER(atomic_fetch_add_acquire(1, &dummy), false);

kernel/kcsan/kcsan_test.c

692

KCSAN_EXPECT_RW_BARRIER(atomic_fetch_add_release(1, &dummy), true);

kernel/kcsan/kcsan_test.c

693

KCSAN_EXPECT_RW_BARRIER(atomic_fetch_add_relaxed(1, &dummy), false);

kernel/kcsan/kcsan_test.c

694

KCSAN_EXPECT_RW_BARRIER(test_and_set_bit(0, &test_var), true);

kernel/kcsan/kcsan_test.c

695

KCSAN_EXPECT_RW_BARRIER(test_and_clear_bit(0, &test_var), true);

kernel/kcsan/kcsan_test.c

696

KCSAN_EXPECT_RW_BARRIER(test_and_change_bit(0, &test_var), true);

kernel/kcsan/kcsan_test.c

697

KCSAN_EXPECT_RW_BARRIER(clear_bit_unlock(0, &test_var), true);

kernel/kcsan/kcsan_test.c

698

KCSAN_EXPECT_RW_BARRIER(__clear_bit_unlock(0, &test_var), true);

kernel/kcsan/kcsan_test.c

699

KCSAN_EXPECT_RW_BARRIER(arch_spin_lock(&arch_spinlock), false);

kernel/kcsan/kcsan_test.c

700

KCSAN_EXPECT_RW_BARRIER(arch_spin_unlock(&arch_spinlock), true);

kernel/kcsan/kcsan_test.c

701

KCSAN_EXPECT_RW_BARRIER(spin_lock(&test_spinlock), false);

kernel/kcsan/kcsan_test.c

702

KCSAN_EXPECT_RW_BARRIER(spin_unlock(&test_spinlock), true);

kernel/kcsan/kcsan_test.c

703

KCSAN_EXPECT_RW_BARRIER(mutex_lock(&test_mutex), false);

kernel/kcsan/kcsan_test.c

704

KCSAN_EXPECT_RW_BARRIER(mutex_unlock(&test_mutex), true);

kernel/kcsan/kcsan_test.c

707

KCSAN_EXPECT_RW_BARRIER(xor_unlock_is_negative_byte(1, &test_var), true);