diff options
| author | Paul E. McKenney <paulmck@kernel.org> | 2020-02-13 00:29:15 +0300 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2020-06-29 22:04:48 +0300 |
| commit | c93773c1a3fedf6c3f6fa12833e2b74a9897c3e3 (patch) | |
| tree | fcef149dd6475a765ffe742467188f48b04b986a /lib/Kconfig.kcsan | |
| parent | cb38f82043d1641a27f96b58b402ca4b7a88f52d (diff) | |
| download | linux-c93773c1a3fedf6c3f6fa12833e2b74a9897c3e3.tar.xz | |
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 'lib/Kconfig.kcsan')
0 files changed, 0 insertions, 0 deletions