MaybeCheckNotHeld

Synopsis

Declared in <sync.h>

[[requires_capability(0x7f2e1892a1c8), lock_returned(cs), requires_capability(0x7f2e18c10528), requires_capability(0x7f2e324d98f8), requires_capability(0x7f2e402536a8), requires_capability(0x7f2e36f53d88), requires_capability(0x7f2e2a2fed08), requires_capability(0x7f2e37b26df8), requires_capability(0x7f2e301230e8), requires_capability(0x7f2e3b4d46e8), requires_capability(0x7f2e22086418), requires_capability(0x7f2e25f33198), requires_capability(0x7f2e42e80ee8), requires_capability(0x7f2e3ba27968), requires_capability(0x7f2e31c46cf8), requires_capability(0x7f2e225a2a68), requires_capability(0x7f2e32364a48), requires_capability(0x7f2e362359b8), requires_capability(0x7f2e23dd7058), requires_capability(0x7f2e1c706f58), requires_capability(0x7f2e21ec9248), requires_capability(0x7f2e3043f788), requires_capability(0x7f2e36bf35c8), requires_capability(0x7f2e33a4c7e8), requires_capability(0x7f2e2253a448), requires_capability(0x7f2e1bc298c8), requires_capability(0x7f2e29c6af88), requires_capability(0x7f2e19a5b8c8), requires_capability(0x7f2e146d5a98), requires_capability(0x7f2e41a6ce88), requires_capability(0x7f2e36f4c368), requires_capability(0x7f2e1be61378), requires_capability(0x7f2e30e44708), requires_capability(0x7f2e29cd2bc8), requires_capability(0x7f2e3aa8faf8), requires_capability(0x7f2e43f22f58), requires_capability(0x7f2e30e1a818), requires_capability(0x7f2e232112d8), requires_capability(0x7f2e362ddd28), requires_capability(0x7f2e1419ed48), requires_capability(0x7f2e357b9668), requires_capability(0x7f2e188a2288), requires_capability(0x7f2e24904d48), requires_capability(0x7f2e28580798), requires_capability(0x7f2e3ad5afc8), requires_capability(0x7f2e3376b988), requires_capability(0x7f2e370f11c8), requires_capability(0x7f2e30c0b668), requires_capability(0x7f2e2a6b1e88), requires_capability(0x7f2e0800d8d8), requires_capability(0x7f2e3ab4de48), requires_capability(0x7f2e26d2fbb8), requires_capability(0x7f2e1d2c93b8), requires_capability(0x7f2e08465298), requires_capability(0x7f2e1c59bfa8), requires_capability(0x7f2e38a10c58), requires_capability(0x7f2e140635b8), requires_capability(0x7f2e19761f88), requires_capability(0x7f2e2ab627d8), requires_capability(0x7f2e42e83ed8), requires_capability(0x7f2e241841b8), requires_capability(0x7f2e3a6c7f48), requires_capability(0x7f2e11f18638), requires_capability(0x7f2e1446d828), requires_capability(0x7f2e19a7a608), requires_capability(0x7f2e297bb6c8), requires_capability(0x7f2e31e49228), requires_capability(0x7f2e395e1f88), requires_capability(0x7f2e403c8038), requires_capability(0x7f2e31040608), requires_capability(0x7f2e22233ca8), requires_capability(0x7f2e1b679da8), requires_capability(0x7f2e33028178), requires_capability(0x7f2e36fe5328), requires_capability(0x7f2e3840bb18), requires_capability(0x7f2e23929fa8), requires_capability(0x7f2e28ce4f58), requires_capability(0x7f2e312683e8), requires_capability(0x7f2e35bea7d8), requires_capability(0x7f2e1e8ab478)]]
Mutex&
MaybeCheckNotHeld(Mutex& cs);