MaybeCheckNotHeld

Synopses

Declared in <sync.h>

Require negative capability on a Mutex before locking it and pass it through.

[[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);

» more...

Require negative capability on a Mutex before locking it and pass it through.

[[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);

» more...

Check a GlobalMutex or RecursiveMutex is not held in scope and pass it through.

template<typename MutexType>
[[locks_excluded(0x7fd74ca30048), lock_returned(m), locks_excluded(0x7fd749108ca8), locks_excluded(0x7fd760d26968), locks_excluded(0x7fd75ea971f8), locks_excluded(0x7fd75bb684a8), locks_excluded(0x7fd749f6ca68), locks_excluded(0x7fd7486c4738), locks_excluded(0x7fd7609a60a8), locks_excluded(0x7fd750cd37f8), locks_excluded(0x7fd7560a33f8), locks_excluded(0x7fd74e05dfc8), locks_excluded(0x7fd75187e7c8), locks_excluded(0x7fd76a1e61f8), locks_excluded(0x7fd760e37648), locks_excluded(0x7fd75053c228), locks_excluded(0x7fd74c323eb8), locks_excluded(0x7fd756081808), locks_excluded(0x7fd75d89ec38), locks_excluded(0x7fd75a0add28), locks_excluded(0x7fd75e83fda8), locks_excluded(0x7fd7606c4e68), locks_excluded(0x7fd758449bf8), locks_excluded(0x7fd7535eeb28), locks_excluded(0x7fd760adfdd8), locks_excluded(0x7fd74c07e178), locks_excluded(0x7fd75a6bd438), locks_excluded(0x7fd74419a358), locks_excluded(0x7fd75eaa5518), locks_excluded(0x7fd74ca0b358), locks_excluded(0x7fd75aa94ca8), locks_excluded(0x7fd76adbf6b8), locks_excluded(0x7fd75d2c3828), locks_excluded(0x7fd7597adc58), locks_excluded(0x7fd757cbf6c8), locks_excluded(0x7fd761ec4a88), locks_excluded(0x7fd75cc63ef8), locks_excluded(0x7fd760154dd8), locks_excluded(0x7fd75aafa768), locks_excluded(0x7fd750e68278), locks_excluded(0x7fd749466748), locks_excluded(0x7fd76ac8d248), locks_excluded(0x7fd75ff703d8), locks_excluded(0x7fd75b296128), locks_excluded(0x7fd7408a1cc8), locks_excluded(0x7fd76a2fffb8), locks_excluded(0x7fd7521884f8), locks_excluded(0x7fd7565eb808), locks_excluded(0x7fd748176488), locks_excluded(0x7fd75459b468), locks_excluded(0x7fd74834cd88), locks_excluded(0x7fd7539a14d8), locks_excluded(0x7fd75a1f6808), locks_excluded(0x7fd7609d7ce8), locks_excluded(0x7fd7482c1968), locks_excluded(0x7fd74fbd1048), locks_excluded(0x7fd752641d08), locks_excluded(0x7fd74c1d5ee8), locks_excluded(0x7fd75ac4cae8), locks_excluded(0x7fd75787d028), locks_excluded(0x7fd75cf95dd8), locks_excluded(0x7fd761fde7a8), locks_excluded(0x7fd76a27a4c8), locks_excluded(0x7fd750cd2ac8), locks_excluded(0x7fd760ea2d48), locks_excluded(0x7fd74af9f008), locks_excluded(0x7fd76a26a9c8), locks_excluded(0x7fd75c8ab0d8), locks_excluded(0x7fd738114c78), locks_excluded(0x7fd74873bca8), locks_excluded(0x7fd763baa1f8), locks_excluded(0x7fd757c039c8), locks_excluded(0x7fd761f832f8), locks_excluded(0x7fd7535317e8), locks_excluded(0x7fd76af43008), locks_excluded(0x7fd738238908), locks_excluded(0x7fd749975a98), locks_excluded(0x7fd752f224f8), locks_excluded(0x7fd7587afca8), locks_excluded(0x7fd7699a4768)]]
MutexType&
MaybeCheckNotHeld(MutexType& m);

» more...

Check a GlobalMutex or RecursiveMutex is not held in scope and pass it through.

template<typename MutexType>
[[locks_excluded(0x7fd74ca30538), lock_returned(m), locks_excluded(0x7fd749109198), locks_excluded(0x7fd760d26e58), locks_excluded(0x7fd75ea976e8), locks_excluded(0x7fd75bb68998), locks_excluded(0x7fd749f6cf58), locks_excluded(0x7fd7486c4c28), locks_excluded(0x7fd7609a6598), locks_excluded(0x7fd750cd3ce8), locks_excluded(0x7fd7560a38e8), locks_excluded(0x7fd74e05e4b8), locks_excluded(0x7fd75187ecb8), locks_excluded(0x7fd76a1e66e8), locks_excluded(0x7fd760e37b38), locks_excluded(0x7fd75053c718), locks_excluded(0x7fd74c3243a8), locks_excluded(0x7fd756081cf8), locks_excluded(0x7fd75d89f128), locks_excluded(0x7fd75a0ae218), locks_excluded(0x7fd75e840298), locks_excluded(0x7fd7606c5358), locks_excluded(0x7fd75844a0e8), locks_excluded(0x7fd7535ef018), locks_excluded(0x7fd760ae02c8), locks_excluded(0x7fd74c07e668), locks_excluded(0x7fd75a6bd928), locks_excluded(0x7fd74419a848), locks_excluded(0x7fd75eaa5a08), locks_excluded(0x7fd74ca0b848), locks_excluded(0x7fd75aa95198), locks_excluded(0x7fd76adbfba8), locks_excluded(0x7fd75d2c3d18), locks_excluded(0x7fd7597ae148), locks_excluded(0x7fd757cbfbb8), locks_excluded(0x7fd761ec4f78), locks_excluded(0x7fd75cc643e8), locks_excluded(0x7fd7601552c8), locks_excluded(0x7fd75aafac58), locks_excluded(0x7fd750e68768), locks_excluded(0x7fd749466c38), locks_excluded(0x7fd76ac8d738), locks_excluded(0x7fd75ff708c8), locks_excluded(0x7fd75b296618), locks_excluded(0x7fd7408a21b8), locks_excluded(0x7fd76a3004a8), locks_excluded(0x7fd7521889e8), locks_excluded(0x7fd7565ebcf8), locks_excluded(0x7fd748176978), locks_excluded(0x7fd75459b958), locks_excluded(0x7fd74834d278), locks_excluded(0x7fd7539a19c8), locks_excluded(0x7fd75a1f6cf8), locks_excluded(0x7fd7609d81d8), locks_excluded(0x7fd7482c1e58), locks_excluded(0x7fd74fbd1538), locks_excluded(0x7fd7526421f8), locks_excluded(0x7fd74c1d63d8), locks_excluded(0x7fd75ac4cfd8), locks_excluded(0x7fd75787d518), locks_excluded(0x7fd75cf962c8), locks_excluded(0x7fd761fdec98), locks_excluded(0x7fd76a27a9b8), locks_excluded(0x7fd750cd2fb8), locks_excluded(0x7fd760ea3238), locks_excluded(0x7fd74af9f4f8), locks_excluded(0x7fd76a26aeb8), locks_excluded(0x7fd75c8ab5c8), locks_excluded(0x7fd738115168), locks_excluded(0x7fd74873c198), locks_excluded(0x7fd763baa6e8), locks_excluded(0x7fd757c03eb8), locks_excluded(0x7fd761f837e8), locks_excluded(0x7fd753531cd8), locks_excluded(0x7fd76af434f8), locks_excluded(0x7fd738238df8), locks_excluded(0x7fd749975f88), locks_excluded(0x7fd752f229e8), locks_excluded(0x7fd7587b0198), locks_excluded(0x7fd7699a4c58)]]
MutexType*
MaybeCheckNotHeld(MutexType* m);

» more...