MaybeCheckNotHeld

Synopsis

Declared in <sync.h>

[[requires_capability(0x7fd74ca2fb60), lock_returned(cs), requires_capability(0x7fd7491087c0), requires_capability(0x7fd760d26480), requires_capability(0x7fd75ea96d10), requires_capability(0x7fd75bb67fc0), requires_capability(0x7fd749f6c580), requires_capability(0x7fd7486c4250), requires_capability(0x7fd7609a5bc0), requires_capability(0x7fd750cd3310), requires_capability(0x7fd7560a2f10), requires_capability(0x7fd74e05dae0), requires_capability(0x7fd75187e2e0), requires_capability(0x7fd76a1e5d10), requires_capability(0x7fd760e37160), requires_capability(0x7fd75053bd40), requires_capability(0x7fd74c2f2d30), requires_capability(0x7fd756081320), requires_capability(0x7fd75d89e750), requires_capability(0x7fd75a0ad840), requires_capability(0x7fd75e83f8c0), requires_capability(0x7fd7606c4980), requires_capability(0x7fd758449710), requires_capability(0x7fd7535ee640), requires_capability(0x7fd760adf8f0), requires_capability(0x7fd74c07dc90), requires_capability(0x7fd75a6bcf50), requires_capability(0x7fd744199e70), requires_capability(0x7fd75eaa5030), requires_capability(0x7fd74ca0ae70), requires_capability(0x7fd75aa947c0), requires_capability(0x7fd76adbf1d0), requires_capability(0x7fd75d2c3340), requires_capability(0x7fd7597ad770), requires_capability(0x7fd757cbf1e0), requires_capability(0x7fd761ec45a0), requires_capability(0x7fd75cc63a10), requires_capability(0x7fd7601548f0), requires_capability(0x7fd75aafa280), requires_capability(0x7fd750e67d90), requires_capability(0x7fd749466260), requires_capability(0x7fd76ac8cd60), requires_capability(0x7fd75ff6fef0), requires_capability(0x7fd75b295c40), requires_capability(0x7fd7408a17e0), requires_capability(0x7fd76a2ffad0), requires_capability(0x7fd752188010), requires_capability(0x7fd7565eb320), requires_capability(0x7fd748175fa0), requires_capability(0x7fd75459af80), requires_capability(0x7fd74834c8a0), requires_capability(0x7fd7539a0ff0), requires_capability(0x7fd75a1f6320), requires_capability(0x7fd7609d7800), requires_capability(0x7fd7482c1480), requires_capability(0x7fd74fbd0b60), requires_capability(0x7fd752641820), requires_capability(0x7fd74c1d5a00), requires_capability(0x7fd75ac4c600), requires_capability(0x7fd75787cb40), requires_capability(0x7fd75cf958f0), requires_capability(0x7fd761fde2c0), requires_capability(0x7fd76a279fe0), requires_capability(0x7fd750cd25e0), requires_capability(0x7fd760ea2860), requires_capability(0x7fd74af9eb20), requires_capability(0x7fd76a26a4e0), requires_capability(0x7fd75c8aabf0), requires_capability(0x7fd738114790), requires_capability(0x7fd74873b7c0), requires_capability(0x7fd763ba9d10), requires_capability(0x7fd757c034e0), requires_capability(0x7fd761f82e10), requires_capability(0x7fd753531300), requires_capability(0x7fd76af42b20), requires_capability(0x7fd738238420), requires_capability(0x7fd7499755b0), requires_capability(0x7fd752f22010), requires_capability(0x7fd7587af7c0), requires_capability(0x7fd7699a4280)]]
Mutex*
MaybeCheckNotHeld(Mutex* cs);