diff options
| author |   Marco Elver <elver@google.com> | 2021-11-30 12:44:22 +0100 |
|---|---|---|
| committer |   Paul E. McKenney <paulmck@kernel.org> | 2021-12-09 16:42:27 -0800 |
| commit | f948666de517cf8ebef7cb2c9b2d669dec4bfe2e (patch) | |
| tree | 2f8b8e12d5111fc08ce67245e75dee3ddb76eb3a /include/linux/mfd/git:/ssh:/git@git.zx2c4.com | |
| parent | kcsan: selftest: Add test case to check memory barrier instrumentation (diff) | |
| download | linux-dev-f948666de517cf8ebef7cb2c9b2d669dec4bfe2e.tar.xz linux-dev-f948666de517cf8ebef7cb2c9b2d669dec4bfe2e.zip | |
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>
Diffstat (limited to 'include/linux/mfd/git:/ssh:/git@git.zx2c4.com')
0 files changed, 0 insertions, 0 deletions