MaybeCheckNotHeld

Synopsis

Declared in <sync.h>

[[requires_capability(0x7fb95c7e6978), lock_returned(cs), requires_capability(0x7fb9854176a8), requires_capability(0x7fb979bbdd28), requires_capability(0x7fb977c0c0f8), requires_capability(0x7fb979fb8038), requires_capability(0x7fb96e0e4638), requires_capability(0x7fb96e60bbc8), requires_capability(0x7fb984471398), requires_capability(0x7fb97f4f59a8), requires_capability(0x7fb96618fd48), requires_capability(0x7fb96a0a8038), requires_capability(0x7fb97fd9b398), requires_capability(0x7fb975ce8f18), requires_capability(0x7fb98439f508), requires_capability(0x7fb97f0fafc8), requires_capability(0x7fb9871bced8), requires_capability(0x7fb97bea0218), requires_capability(0x7fb95cbb7908), requires_capability(0x7fb97ab31db8), requires_capability(0x7fb97f949bc8), requires_capability(0x7fb9859e6048), requires_capability(0x7fb97a9cc7a8), requires_capability(0x7fb986ab2d78), requires_capability(0x7fb97fda10b8), requires_capability(0x7fb976dbb558), requires_capability(0x7fb97b237a28), requires_capability(0x7fb977d76d48), requires_capability(0x7fb98550ea28), requires_capability(0x7fb97efab1a8), requires_capability(0x7fb97a5c34e8), requires_capability(0x7fb967b362b8), requires_capability(0x7fb984eef928), requires_capability(0x7fb96e0ed208), requires_capability(0x7fb9548fdca8), requires_capability(0x7fb95ccca0a8), requires_capability(0x7fb9846b8988), requires_capability(0x7fb95e4b6a98), requires_capability(0x7fb96c074328), requires_capability(0x7fb95898de18), requires_capability(0x7fb96f622e58), requires_capability(0x7fb968703798), requires_capability(0x7fb97660c4a8), requires_capability(0x7fb97870dde8), requires_capability(0x7fb9783744d8), requires_capability(0x7fb96bed87a8), requires_capability(0x7fb96422ddb8), requires_capability(0x7fb9580abfd8), requires_capability(0x7fb965f11fa8), requires_capability(0x7fb9793f9aa8), requires_capability(0x7fb97ad68df8), requires_capability(0x7fb96b0e0778), requires_capability(0x7fb975f44378), requires_capability(0x7fb97b306268), requires_capability(0x7fb964067fb8), requires_capability(0x7fb9605f7ec8), requires_capability(0x7fb9856a3f38), requires_capability(0x7fb977a2d5a8), requires_capability(0x7fb95cb86398), requires_capability(0x7fb9680094d8), requires_capability(0x7fb97b90c168), requires_capability(0x7fb97fa334f8), requires_capability(0x7fb98565a3c8), requires_capability(0x7fb97533f748), requires_capability(0x7fb96e3b7018), requires_capability(0x7fb97f576b28), requires_capability(0x7fb96814eb98), requires_capability(0x7fb965447a18), requires_capability(0x7fb96f471bb8), requires_capability(0x7fb9659f0728), requires_capability(0x7fb95ce72438), requires_capability(0x7fb956615c48), requires_capability(0x7fb95b325098), requires_capability(0x7fb97efe8058), requires_capability(0x7fb979505208), requires_capability(0x7fb967c266a8), requires_capability(0x7fb96b549b28), requires_capability(0x7fb976b94558), requires_capability(0x7fb974cce3c8)]]
Mutex&
MaybeCheckNotHeld(Mutex& cs);