summaryrefslogtreecommitdiff
path: root/tools/memory-model/linux-kernel.cat
diff options
context:
space:
mode:
authorJuri Lelli <juri.lelli@redhat.com>2018-02-13 21:55:19 +0300
committerIngo Molnar <mingo@kernel.org>2018-02-14 14:01:22 +0300
commita1ea544fe0911492b9f8d101bcbf46cc8c47fbc5 (patch)
tree6ec7c592250f11c9f0118982ce141d1aeae30fd0 /tools/memory-model/linux-kernel.cat
parente5684bbfc3f03480d6ba2150f133630fb510d3eb (diff)
downloadlinux-a1ea544fe0911492b9f8d101bcbf46cc8c47fbc5.tar.xz
Documentation/locking/lockdep: Add section about available annotations
Add section about annotations that can be used to perform additional runtime checking of locking correctness: assert that certain locks are held and prevent accidental unlocking. Signed-off-by: Juri Lelli <juri.lelli@redhat.com> Acked-by: Peter Zijlstra (Intel) <peterz@infradead.org> Cc: Jonathan Corbet <corbet@lwn.net> Cc: Linus Torvalds <torvalds@linux-foundation.org> Cc: Peter Zijlstra <peterz@infradead.org> Cc: Thomas Gleixner <tglx@linutronix.de> Cc: linux-doc@vger.kernel.org Link: http://lkml.kernel.org/r/20180213185519.18186-3-juri.lelli@redhat.com Signed-off-by: Ingo Molnar <mingo@kernel.org>
Diffstat (limited to 'tools/memory-model/linux-kernel.cat')
0 files changed, 0 insertions, 0 deletions