locking/barriers, kcsan: Add instrumentation for barriers
authorMarco Elver <elver@google.com>
Tue, 30 Nov 2021 11:44:22 +0000 (12:44 +0100)
committerPaul E. McKenney <paulmck@kernel.org>
Fri, 10 Dec 2021 00:42:27 +0000 (16:42 -0800)
commitf948666de517cf8ebef7cb2c9b2d669dec4bfe2e
tree2f8b8e12d5111fc08ce67245e75dee3ddb76eb3a
parent71b0e3aeb28256712945d99ca67b3f5e3ed7e0b1
locking/barriers, kcsan: Add instrumentation for barriers

Adds the required KCSAN instrumentation for barriers if CONFIG_SMP.
KCSAN supports modeling the effects of:

smp_mb()
smp_rmb()
smp_wmb()
smp_store_release()

Signed-off-by: Marco Elver <elver@google.com>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
include/asm-generic/barrier.h
include/linux/spinlock.h