MaybeCheckNotHeld

Synopsis

Declared in <sync.h>

[[requires_capability(0x7f95008421d0), lock_returned(cs), requires_capability(0x7f9525cc7ab0), requires_capability(0x7f950db72dc0), requires_capability(0x7f951f5792e0), requires_capability(0x7f950c189930), requires_capability(0x7f950e1b46a0), requires_capability(0x7f9522ff7d70), requires_capability(0x7f951c783740), requires_capability(0x7f951414f900), requires_capability(0x7f950a045460), requires_capability(0x7f9502088590), requires_capability(0x7f9515b2a870), requires_capability(0x7f9527a0a4a0), requires_capability(0x7f951c7958b0), requires_capability(0x7f95220d6bb0), requires_capability(0x7f9503cc8730), requires_capability(0x7f9527b0ccb0), requires_capability(0x7f950db4d430), requires_capability(0x7f9525eef9b0), requires_capability(0x7f9521a9a8c0), requires_capability(0x7f951f7c2ce0), requires_capability(0x7f9527a70e70), requires_capability(0x7f9500b1c830), requires_capability(0x7f950f391b70), requires_capability(0x7f9503460910), requires_capability(0x7f950833c170), requires_capability(0x7f95039ce880), requires_capability(0x7f9513c16660), requires_capability(0x7f950fa3cdd0), requires_capability(0x7f94f89596a0), requires_capability(0x7f951d5938b0), requires_capability(0x7f951715d410), requires_capability(0x7f95088b31f0), requires_capability(0x7f951e6234c0), requires_capability(0x7f950f8a8b70), requires_capability(0x7f94f0888e30), requires_capability(0x7f950e102f30), requires_capability(0x7f9527a51f90), requires_capability(0x7f95104b3160), requires_capability(0x7f950bbe4b00), requires_capability(0x7f9517b77630), requires_capability(0x7f951ea73280), requires_capability(0x7f950a203b60), requires_capability(0x7f9527c3cfe0), requires_capability(0x7f9513f89a20), requires_capability(0x7f9523f11e40), requires_capability(0x7f9516a10260), requires_capability(0x7f95036739a0), requires_capability(0x7f9513c3e280), requires_capability(0x7f9526266d30), requires_capability(0x7f9523c2fa20), requires_capability(0x7f951d2a38c0), requires_capability(0x7f952678e8f0), requires_capability(0x7f9501660160), requires_capability(0x7f95082c8870), requires_capability(0x7f9523c2b020), requires_capability(0x7f9509279580), requires_capability(0x7f951c5ae060), requires_capability(0x7f950c2ed1b0), requires_capability(0x7f951250b750), requires_capability(0x7f9508141030), requires_capability(0x7f95066ed7e0), requires_capability(0x7f9510f53820), requires_capability(0x7f9501a16220), requires_capability(0x7f9508b80ac0), requires_capability(0x7f9521660080), requires_capability(0x7f9517b0f320), requires_capability(0x7f9502e544d0), requires_capability(0x7f950da861d0), requires_capability(0x7f94fc854040), requires_capability(0x7f94f8a88a20), requires_capability(0x7f951fe81e20), requires_capability(0x7f94f066de30), requires_capability(0x7f952503d370), requires_capability(0x7f950697ef90), requires_capability(0x7f9515b87ba0), requires_capability(0x7f95038516d0), requires_capability(0x7f9514950860), requires_capability(0x7f95157ba010)]]
Mutex*
MaybeCheckNotHeld(Mutex* cs);