On Tue, Dec 08, 2020 at 06:31:12PM +0800, Boqun Feng wrote: > These tests are added for two purposes: > > * Test the implementation of wait context checks and related > annotations. > > * Semi-document the rules for wait context nesting when > PROVE_RAW_LOCK_NESTING=y. Documentation/locking/locktypes.rst should have that. > The test cases are only avaible for PROVE_RAW_LOCK_NESTING=y, as wait > context checking makes more sense for that configuration. Looks about right ;-)