diff options
| author | Marco Elver <elver@google.com> | 2020-03-25 17:41:58 +0100 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2020-04-14 02:18:13 +0200 |
| commit | d8949ef1d9f1062848cd068cf369a57ce33dae6f (patch) | |
| tree | 1f24321c498bf83bc5784d0fe5694737838f961d /include/uapi/xen | |
| parent | objtool, kcsan: Add explicit check functions to uaccess whitelist (diff) | |
| download | linux-d8949ef1d9f1062848cd068cf369a57ce33dae6f.tar.xz linux-d8949ef1d9f1062848cd068cf369a57ce33dae6f.zip | |
kcsan: Introduce scoped ASSERT_EXCLUSIVE macros
Introduce ASSERT_EXCLUSIVE_*_SCOPED(), which provide an intuitive
interface to use the scoped-access feature, without having to explicitly
mark the start and end of the desired scope. Basing duration of the
checks on scope avoids accidental misuse and resulting false positives,
which may be hard to debug. See added comments for usage.
The macros are implemented using __attribute__((__cleanup__(func))),
which is supported by all compilers that currently support KCSAN.
Suggested-by: Boqun Feng <boqun.feng@gmail.com>
Suggested-by: Paul E. McKenney <paulmck@kernel.org>
Signed-off-by: Marco Elver <elver@google.com>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Diffstat (limited to 'include/uapi/xen')
0 files changed, 0 insertions, 0 deletions