MaybeCheckNotHeld

Synopsis

Declared in <sync.h>

[[requires_capability(0x7f2e1892a6b0), lock_returned(cs), requires_capability(0x7f2e18c10a10), requires_capability(0x7f2e324d9de0), requires_capability(0x7f2e40253b90), requires_capability(0x7f2e36f54270), requires_capability(0x7f2e2a2ff1f0), requires_capability(0x7f2e37b272e0), requires_capability(0x7f2e301235d0), requires_capability(0x7f2e3b4d4bd0), requires_capability(0x7f2e22086900), requires_capability(0x7f2e25f33680), requires_capability(0x7f2e42e813d0), requires_capability(0x7f2e3ba27e50), requires_capability(0x7f2e31c471e0), requires_capability(0x7f2e225a2f50), requires_capability(0x7f2e32364f30), requires_capability(0x7f2e36235ea0), requires_capability(0x7f2e23dd7540), requires_capability(0x7f2e1c707440), requires_capability(0x7f2e21ec9730), requires_capability(0x7f2e3043fc70), requires_capability(0x7f2e36bf3ab0), requires_capability(0x7f2e33a4ccd0), requires_capability(0x7f2e2253a930), requires_capability(0x7f2e1bc29db0), requires_capability(0x7f2e29c6b470), requires_capability(0x7f2e19a5bdb0), requires_capability(0x7f2e146d5f80), requires_capability(0x7f2e41a6d370), requires_capability(0x7f2e36f4c850), requires_capability(0x7f2e1be61860), requires_capability(0x7f2e30e44bf0), requires_capability(0x7f2e29cd30b0), requires_capability(0x7f2e3aa8ffe0), requires_capability(0x7f2e43f23440), requires_capability(0x7f2e30e1ad00), requires_capability(0x7f2e232117c0), requires_capability(0x7f2e362de210), requires_capability(0x7f2e1419f230), requires_capability(0x7f2e357b9b50), requires_capability(0x7f2e188a2770), requires_capability(0x7f2e24905230), requires_capability(0x7f2e28580c80), requires_capability(0x7f2e3ad5b4b0), requires_capability(0x7f2e3376be70), requires_capability(0x7f2e370f16b0), requires_capability(0x7f2e30c0bb50), requires_capability(0x7f2e2a6b2370), requires_capability(0x7f2e0800ddc0), requires_capability(0x7f2e3ab4e330), requires_capability(0x7f2e26d300a0), requires_capability(0x7f2e1d2c98a0), requires_capability(0x7f2e08465780), requires_capability(0x7f2e1c59c490), requires_capability(0x7f2e38a11140), requires_capability(0x7f2e14063aa0), requires_capability(0x7f2e19762470), requires_capability(0x7f2e2ab62cc0), requires_capability(0x7f2e42e843c0), requires_capability(0x7f2e241846a0), requires_capability(0x7f2e3a6c8430), requires_capability(0x7f2e11f18b20), requires_capability(0x7f2e1446dd10), requires_capability(0x7f2e19a7aaf0), requires_capability(0x7f2e297bbbb0), requires_capability(0x7f2e31e49710), requires_capability(0x7f2e395e2470), requires_capability(0x7f2e403c8520), requires_capability(0x7f2e31040af0), requires_capability(0x7f2e22234190), requires_capability(0x7f2e1b67a290), requires_capability(0x7f2e33028660), requires_capability(0x7f2e36fe5810), requires_capability(0x7f2e3840c000), requires_capability(0x7f2e2392a490), requires_capability(0x7f2e28ce5440), requires_capability(0x7f2e312688d0), requires_capability(0x7f2e35beacc0), requires_capability(0x7f2e1e8ab960)]]
Mutex*
MaybeCheckNotHeld(Mutex* cs);