MaybeCheckNotHeld

[[requires_capability(0x7fb95c7e6978), lock_returned(cs), requires_capability(0x7fb9854176a8), requires_capability(0x7fb979bbdd28), requires_capability(0x7fb977c0c0f8), requires_capability(0x7fb979fb8038), requires_capability(0x7fb96e0e4638), requires_capability(0x7fb96e60bbc8), requires_capability(0x7fb984471398), requires_capability(0x7fb97f4f59a8), requires_capability(0x7fb96618fd48), requires_capability(0x7fb96a0a8038), requires_capability(0x7fb97fd9b398), requires_capability(0x7fb975ce8f18), requires_capability(0x7fb98439f508), requires_capability(0x7fb97f0fafc8), requires_capability(0x7fb9871bced8), requires_capability(0x7fb97bea0218), requires_capability(0x7fb95cbb7908), requires_capability(0x7fb97ab31db8), requires_capability(0x7fb97f949bc8), requires_capability(0x7fb9859e6048), requires_capability(0x7fb97a9cc7a8), requires_capability(0x7fb986ab2d78), requires_capability(0x7fb97fda10b8), requires_capability(0x7fb976dbb558), requires_capability(0x7fb97b237a28), requires_capability(0x7fb977d76d48), requires_capability(0x7fb98550ea28), requires_capability(0x7fb97efab1a8), requires_capability(0x7fb97a5c34e8), requires_capability(0x7fb967b362b8), requires_capability(0x7fb984eef928), requires_capability(0x7fb96e0ed208), requires_capability(0x7fb9548fdca8), requires_capability(0x7fb95ccca0a8), requires_capability(0x7fb9846b8988), requires_capability(0x7fb95e4b6a98), requires_capability(0x7fb96c074328), requires_capability(0x7fb95898de18), requires_capability(0x7fb96f622e58), requires_capability(0x7fb968703798), requires_capability(0x7fb97660c4a8), requires_capability(0x7fb97870dde8), requires_capability(0x7fb9783744d8), requires_capability(0x7fb96bed87a8), requires_capability(0x7fb96422ddb8), requires_capability(0x7fb9580abfd8), requires_capability(0x7fb965f11fa8), requires_capability(0x7fb9793f9aa8), requires_capability(0x7fb97ad68df8), requires_capability(0x7fb96b0e0778), requires_capability(0x7fb975f44378), requires_capability(0x7fb97b306268), requires_capability(0x7fb964067fb8), requires_capability(0x7fb9605f7ec8), requires_capability(0x7fb9856a3f38), requires_capability(0x7fb977a2d5a8), requires_capability(0x7fb95cb86398), requires_capability(0x7fb9680094d8), requires_capability(0x7fb97b90c168), requires_capability(0x7fb97fa334f8), requires_capability(0x7fb98565a3c8), requires_capability(0x7fb97533f748), requires_capability(0x7fb96e3b7018), requires_capability(0x7fb97f576b28), requires_capability(0x7fb96814eb98), requires_capability(0x7fb965447a18), requires_capability(0x7fb96f471bb8), requires_capability(0x7fb9659f0728), requires_capability(0x7fb95ce72438), requires_capability(0x7fb956615c48), requires_capability(0x7fb95b325098), requires_capability(0x7fb97efe8058), requires_capability(0x7fb979505208), requires_capability(0x7fb967c266a8), requires_capability(0x7fb96b549b28), requires_capability(0x7fb976b94558), requires_capability(0x7fb974cce3c8)]]
Mutex&
MaybeCheckNotHeld(Mutex& cs);

[[requires_capability(0x7fb95c7e6e60), lock_returned(cs), requires_capability(0x7fb985417b90), requires_capability(0x7fb979bbe210), requires_capability(0x7fb977c0c5e0), requires_capability(0x7fb979fb8520), requires_capability(0x7fb96e0e4b20), requires_capability(0x7fb96e60c0b0), requires_capability(0x7fb984471880), requires_capability(0x7fb97f4f5e90), requires_capability(0x7fb966190230), requires_capability(0x7fb96a0a8520), requires_capability(0x7fb97fd9b880), requires_capability(0x7fb975ce9400), requires_capability(0x7fb98439f9f0), requires_capability(0x7fb97f0fb4b0), requires_capability(0x7fb9871bd3c0), requires_capability(0x7fb97bea0700), requires_capability(0x7fb95cbb7df0), requires_capability(0x7fb97ab322a0), requires_capability(0x7fb97f94a0b0), requires_capability(0x7fb9859e6530), requires_capability(0x7fb97a9ccc90), requires_capability(0x7fb986ab3260), requires_capability(0x7fb97fda15a0), requires_capability(0x7fb976dbba40), requires_capability(0x7fb97b237f10), requires_capability(0x7fb977d77230), requires_capability(0x7fb98550ef10), requires_capability(0x7fb97efab690), requires_capability(0x7fb97a5c39d0), requires_capability(0x7fb967b367a0), requires_capability(0x7fb984eefe10), requires_capability(0x7fb96e0ed6f0), requires_capability(0x7fb9548fe190), requires_capability(0x7fb95ccca590), requires_capability(0x7fb9846b8e70), requires_capability(0x7fb95e4b6f80), requires_capability(0x7fb96c074810), requires_capability(0x7fb95898e300), requires_capability(0x7fb96f623340), requires_capability(0x7fb968703c80), requires_capability(0x7fb97660c990), requires_capability(0x7fb97870e2d0), requires_capability(0x7fb9783749c0), requires_capability(0x7fb96bed8c90), requires_capability(0x7fb96422e2a0), requires_capability(0x7fb9580ac4c0), requires_capability(0x7fb965f12490), requires_capability(0x7fb9793f9f90), requires_capability(0x7fb97ad692e0), requires_capability(0x7fb96b0e0c60), requires_capability(0x7fb975f44860), requires_capability(0x7fb97b306750), requires_capability(0x7fb9640684a0), requires_capability(0x7fb9605f83b0), requires_capability(0x7fb9856a4420), requires_capability(0x7fb977a2da90), requires_capability(0x7fb95cb86880), requires_capability(0x7fb9680099c0), requires_capability(0x7fb97b90c650), requires_capability(0x7fb97fa339e0), requires_capability(0x7fb98565a8b0), requires_capability(0x7fb97533fc30), requires_capability(0x7fb96e3b7500), requires_capability(0x7fb97f577010), requires_capability(0x7fb96814f080), requires_capability(0x7fb965447f00), requires_capability(0x7fb96f4720a0), requires_capability(0x7fb9659f0c10), requires_capability(0x7fb95ce72920), requires_capability(0x7fb956616130), requires_capability(0x7fb95b325580), requires_capability(0x7fb97efe8540), requires_capability(0x7fb9795056f0), requires_capability(0x7fb967c26b90), requires_capability(0x7fb96b54a010), requires_capability(0x7fb976b94a40), requires_capability(0x7fb974cce8b0)]]
Mutex*
MaybeCheckNotHeld(Mutex* cs);

template<typename MutexType>
[[locks_excluded(0x7fb95c7e7348), lock_returned(m), locks_excluded(0x7fb985418078), locks_excluded(0x7fb979bbe6f8), locks_excluded(0x7fb977c0cac8), locks_excluded(0x7fb979fb8a08), locks_excluded(0x7fb96e0e5008), locks_excluded(0x7fb96e60c598), locks_excluded(0x7fb984471d68), locks_excluded(0x7fb97f4f6378), locks_excluded(0x7fb966190718), locks_excluded(0x7fb96a0a8a08), locks_excluded(0x7fb97fd9bd68), locks_excluded(0x7fb975ce98e8), locks_excluded(0x7fb98439fed8), locks_excluded(0x7fb97f0fb998), locks_excluded(0x7fb9858e01a8), locks_excluded(0x7fb97bea0be8), locks_excluded(0x7fb95cbb82d8), locks_excluded(0x7fb97ab32788), locks_excluded(0x7fb97f94a598), locks_excluded(0x7fb9859e6a18), locks_excluded(0x7fb97a9cd178), locks_excluded(0x7fb986ab3748), locks_excluded(0x7fb97fda1a88), locks_excluded(0x7fb976dbbf28), locks_excluded(0x7fb97b2383f8), locks_excluded(0x7fb977d77718), locks_excluded(0x7fb98550f3f8), locks_excluded(0x7fb97efabb78), locks_excluded(0x7fb97a5c3eb8), locks_excluded(0x7fb967b36c88), locks_excluded(0x7fb984ef02f8), locks_excluded(0x7fb96e0edbd8), locks_excluded(0x7fb9548fe678), locks_excluded(0x7fb95cccaa78), locks_excluded(0x7fb9846b9358), locks_excluded(0x7fb95e4b7468), locks_excluded(0x7fb96c074cf8), locks_excluded(0x7fb95898e7e8), locks_excluded(0x7fb96f623828), locks_excluded(0x7fb968704168), locks_excluded(0x7fb97660ce78), locks_excluded(0x7fb97870e7b8), locks_excluded(0x7fb978374ea8), locks_excluded(0x7fb96bed9178), locks_excluded(0x7fb96422e788), locks_excluded(0x7fb9580ac9a8), locks_excluded(0x7fb965f12978), locks_excluded(0x7fb9793fa478), locks_excluded(0x7fb97ad697c8), locks_excluded(0x7fb96b0e1148), locks_excluded(0x7fb975f44d48), locks_excluded(0x7fb97b306c38), locks_excluded(0x7fb964068988), locks_excluded(0x7fb9605f8898), locks_excluded(0x7fb9856a4908), locks_excluded(0x7fb977a2df78), locks_excluded(0x7fb95cb86d68), locks_excluded(0x7fb968009ea8), locks_excluded(0x7fb97b90cb38), locks_excluded(0x7fb97fa33ec8), locks_excluded(0x7fb98565ad98), locks_excluded(0x7fb975340118), locks_excluded(0x7fb96e3b79e8), locks_excluded(0x7fb97f5774f8), locks_excluded(0x7fb96814f568), locks_excluded(0x7fb9654483e8), locks_excluded(0x7fb96f472588), locks_excluded(0x7fb9659f10f8), locks_excluded(0x7fb95ce72e08), locks_excluded(0x7fb956616618), locks_excluded(0x7fb95b325a68), locks_excluded(0x7fb97efe8a28), locks_excluded(0x7fb979505bd8), locks_excluded(0x7fb967c27078), locks_excluded(0x7fb96b54a4f8), locks_excluded(0x7fb976b94f28), locks_excluded(0x7fb974cced98)]]
MutexType&
MaybeCheckNotHeld(MutexType& m);

template<typename MutexType>
[[locks_excluded(0x7fb95c7e7838), lock_returned(m), locks_excluded(0x7fb985418568), locks_excluded(0x7fb979bbebe8), locks_excluded(0x7fb977c0cfb8), locks_excluded(0x7fb979fb8ef8), locks_excluded(0x7fb96e0e54f8), locks_excluded(0x7fb96e60ca88), locks_excluded(0x7fb984472258), locks_excluded(0x7fb97f4f6868), locks_excluded(0x7fb966190c08), locks_excluded(0x7fb96a0a8ef8), locks_excluded(0x7fb97fd9c258), locks_excluded(0x7fb975ce9dd8), locks_excluded(0x7fb9843a03c8), locks_excluded(0x7fb97f0fbe88), locks_excluded(0x7fb9858e0698), locks_excluded(0x7fb97bea10d8), locks_excluded(0x7fb95cbb87c8), locks_excluded(0x7fb97ab32c78), locks_excluded(0x7fb97f94aa88), locks_excluded(0x7fb9859e6f08), locks_excluded(0x7fb97a9cd668), locks_excluded(0x7fb986ab3c38), locks_excluded(0x7fb97fda1f78), locks_excluded(0x7fb976dbc418), locks_excluded(0x7fb97b2388e8), locks_excluded(0x7fb977d77c08), locks_excluded(0x7fb98550f8e8), locks_excluded(0x7fb97efac068), locks_excluded(0x7fb97a5c43a8), locks_excluded(0x7fb967b37178), locks_excluded(0x7fb984ef07e8), locks_excluded(0x7fb96e0ee0c8), locks_excluded(0x7fb9548feb68), locks_excluded(0x7fb95cccaf68), locks_excluded(0x7fb9846b9848), locks_excluded(0x7fb95e4b7958), locks_excluded(0x7fb96c0751e8), locks_excluded(0x7fb95898ecd8), locks_excluded(0x7fb96f623d18), locks_excluded(0x7fb968704658), locks_excluded(0x7fb97660d368), locks_excluded(0x7fb97870eca8), locks_excluded(0x7fb978375398), locks_excluded(0x7fb96bed9668), locks_excluded(0x7fb96422ec78), locks_excluded(0x7fb9580ace98), locks_excluded(0x7fb965f12e68), locks_excluded(0x7fb9793fa968), locks_excluded(0x7fb97ad69cb8), locks_excluded(0x7fb96b0e1638), locks_excluded(0x7fb975f45238), locks_excluded(0x7fb97b307128), locks_excluded(0x7fb964068e78), locks_excluded(0x7fb9605f8d88), locks_excluded(0x7fb9856a4df8), locks_excluded(0x7fb977a2e468), locks_excluded(0x7fb95cb87258), locks_excluded(0x7fb96800a398), locks_excluded(0x7fb97b90d028), locks_excluded(0x7fb97fa343b8), locks_excluded(0x7fb98565b288), locks_excluded(0x7fb975340608), locks_excluded(0x7fb96e3b7ed8), locks_excluded(0x7fb97f5779e8), locks_excluded(0x7fb96814fa58), locks_excluded(0x7fb9654488d8), locks_excluded(0x7fb96f472a78), locks_excluded(0x7fb9659f15e8), locks_excluded(0x7fb95ce732f8), locks_excluded(0x7fb956616b08), locks_excluded(0x7fb95b325f58), locks_excluded(0x7fb97efe8f18), locks_excluded(0x7fb9795060c8), locks_excluded(0x7fb967c27568), locks_excluded(0x7fb96b54a9e8), locks_excluded(0x7fb976b95418), locks_excluded(0x7fb974ccf288)]]
MutexType*
MaybeCheckNotHeld(MutexType* m);