MaybeCheckNotHeld

Synopsis

Declared in <sync.h>

[[requires_capability(0x7fd74ca2f678), lock_returned(cs), requires_capability(0x7fd7491082d8), requires_capability(0x7fd760d25f98), requires_capability(0x7fd75ea96828), requires_capability(0x7fd75bb67ad8), requires_capability(0x7fd749f6c098), requires_capability(0x7fd7486c3d68), requires_capability(0x7fd7609a56d8), requires_capability(0x7fd750cd2e28), requires_capability(0x7fd7560a2a28), requires_capability(0x7fd74e05d5f8), requires_capability(0x7fd75187ddf8), requires_capability(0x7fd76a1e5828), requires_capability(0x7fd760e36c78), requires_capability(0x7fd75053b858), requires_capability(0x7fd74c2f2848), requires_capability(0x7fd756080e38), requires_capability(0x7fd75d89e268), requires_capability(0x7fd75a0ad358), requires_capability(0x7fd75e83f3d8), requires_capability(0x7fd7606c4498), requires_capability(0x7fd758449228), requires_capability(0x7fd7535ee158), requires_capability(0x7fd760adf408), requires_capability(0x7fd74c07d7a8), requires_capability(0x7fd75a6bca68), requires_capability(0x7fd744199988), requires_capability(0x7fd75eaa4b48), requires_capability(0x7fd74ca0a988), requires_capability(0x7fd75aa942d8), requires_capability(0x7fd76adbece8), requires_capability(0x7fd75d2c2e58), requires_capability(0x7fd7597ad288), requires_capability(0x7fd757cbecf8), requires_capability(0x7fd761ec40b8), requires_capability(0x7fd75cc63528), requires_capability(0x7fd760154408), requires_capability(0x7fd75aaf9d98), requires_capability(0x7fd750e678a8), requires_capability(0x7fd749465d78), requires_capability(0x7fd76ac8c878), requires_capability(0x7fd75ff6fa08), requires_capability(0x7fd75b295758), requires_capability(0x7fd7408a12f8), requires_capability(0x7fd76a2ff5e8), requires_capability(0x7fd752187b28), requires_capability(0x7fd7565eae38), requires_capability(0x7fd748175ab8), requires_capability(0x7fd75459aa98), requires_capability(0x7fd74834c3b8), requires_capability(0x7fd7539a0b08), requires_capability(0x7fd75a1f5e38), requires_capability(0x7fd7609d7318), requires_capability(0x7fd7482c0f98), requires_capability(0x7fd74fbd0678), requires_capability(0x7fd752641338), requires_capability(0x7fd74c1d5518), requires_capability(0x7fd75ac4c118), requires_capability(0x7fd75787c658), requires_capability(0x7fd75cf95408), requires_capability(0x7fd761fdddd8), requires_capability(0x7fd76a279af8), requires_capability(0x7fd750cd20f8), requires_capability(0x7fd760ea2378), requires_capability(0x7fd74af9e638), requires_capability(0x7fd76a269ff8), requires_capability(0x7fd75c8aa708), requires_capability(0x7fd7381142a8), requires_capability(0x7fd74873b2d8), requires_capability(0x7fd763ba9828), requires_capability(0x7fd757c02ff8), requires_capability(0x7fd761f82928), requires_capability(0x7fd753530e18), requires_capability(0x7fd76af42638), requires_capability(0x7fd738237f38), requires_capability(0x7fd7499750c8), requires_capability(0x7fd752f21b28), requires_capability(0x7fd7587af2d8), requires_capability(0x7fd7699a3d98)]]
Mutex&
MaybeCheckNotHeld(Mutex& cs);