diff options
| author | Paul E. McKenney <paulmck@kernel.org> | 2020-02-12 22:29:15 +0100 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2020-06-29 21:04:48 +0200 |
| commit | c93773c1a3fedf6c3f6fa12833e2b74a9897c3e3 (patch) | |
| tree | fcef149dd6475a765ffe742467188f48b04b986a /kernel/kcsan/kcsan-test.c | |
| parent | x86/mm/pat: Mark an intentional data race (diff) | |
| download | linux-c93773c1a3fedf6c3f6fa12833e2b74a9897c3e3.tar.xz linux-c93773c1a3fedf6c3f6fa12833e2b74a9897c3e3.zip | |
rculist: Add ASSERT_EXCLUSIVE_ACCESS() to __list_splice_init_rcu()
After the sync() in __list_splice_init_rcu(), there should be no
readers traversing the old list. This commit therefore enlists the
help of KCSAN to verify this condition via a pair of calls to
ASSERT_EXCLUSIVE_ACCESS().
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Cc: Marco Elver <elver@google.com>
Diffstat (limited to 'kernel/kcsan/kcsan-test.c')
0 files changed, 0 insertions, 0 deletions