MaybeCheckNotHeld

[[requires_capability(0x7ff36c776548), lock_returned(cs), requires_capability(0x7ff3790f3da8), requires_capability(0x7ff38c6459a8), requires_capability(0x7ff39315b6c8), requires_capability(0x7ff38c58d348), requires_capability(0x7ff36e337398), requires_capability(0x7ff38ac0aa68), requires_capability(0x7ff390253f98), requires_capability(0x7ff378a11a48), requires_capability(0x7ff37dfbd158), requires_capability(0x7ff376119d08), requires_capability(0x7ff378d79768), requires_capability(0x7ff37f8279d8), requires_capability(0x7ff392b8ae58), requires_capability(0x7ff378d264b8), requires_capability(0x7ff377f72308), requires_capability(0x7ff383dd5a18), requires_capability(0x7ff37bca3798), requires_capability(0x7ff3810210c8), requires_capability(0x7ff35c065758), requires_capability(0x7ff38bb0d528), requires_capability(0x7ff380244c28), requires_capability(0x7ff3704c55f8), requires_capability(0x7ff35c4d6ac8), requires_capability(0x7ff38b16be38), requires_capability(0x7ff37f5a00a8), requires_capability(0x7ff37842c5a8), requires_capability(0x7ff3745f2988), requires_capability(0x7ff389451d58), requires_capability(0x7ff383b286c8), requires_capability(0x7ff38fae50b8), requires_capability(0x7ff390c36d08), requires_capability(0x7ff37fe9a968), requires_capability(0x7ff37a1900a8), requires_capability(0x7ff388dd7f68), requires_capability(0x7ff391580228), requires_capability(0x7ff36f9f69c8), requires_capability(0x7ff37c13ac58), requires_capability(0x7ff392c569d8), requires_capability(0x7ff37c856e88), requires_capability(0x7ff38efb6448), requires_capability(0x7ff374765f08), requires_capability(0x7ff37fd76d48), requires_capability(0x7ff3762bad08), requires_capability(0x7ff38e8cda98), requires_capability(0x7ff38abb6348), requires_capability(0x7ff378d18f18), requires_capability(0x7ff37749ca38), requires_capability(0x7ff38ae57a58), requires_capability(0x7ff375f21548), requires_capability(0x7ff38c64cec8), requires_capability(0x7ff36e7dbb68), requires_capability(0x7ff3773e0c98), requires_capability(0x7ff36e79bb58), requires_capability(0x7ff3922d7ec8), requires_capability(0x7ff37b28a098), requires_capability(0x7ff390193ad8), requires_capability(0x7ff36e1aad78), requires_capability(0x7ff3640cdac8), requires_capability(0x7ff38cbd3cc8), requires_capability(0x7ff375097388), requires_capability(0x7ff37c8d7df8), requires_capability(0x7ff38cfa1ae8), requires_capability(0x7ff3702613c8), requires_capability(0x7ff3682687e8), requires_capability(0x7ff38d5b81f8), requires_capability(0x7ff383af3798), requires_capability(0x7ff36c477468), requires_capability(0x7ff3826c5e78), requires_capability(0x7ff38d4b94f8), requires_capability(0x7ff37c28f948), requires_capability(0x7ff37763a4f8), requires_capability(0x7ff37bf617c8), requires_capability(0x7ff3805cf568), requires_capability(0x7ff391002828), requires_capability(0x7ff3709efad8), requires_capability(0x7ff37463c9d8), requires_capability(0x7ff37526c2e8)]]
Mutex&
MaybeCheckNotHeld(Mutex& cs);

[[requires_capability(0x7ff36c776a30), lock_returned(cs), requires_capability(0x7ff3790f4290), requires_capability(0x7ff38c645e90), requires_capability(0x7ff39315bbb0), requires_capability(0x7ff38c58d830), requires_capability(0x7ff36e337880), requires_capability(0x7ff38ac0af50), requires_capability(0x7ff390254480), requires_capability(0x7ff378a11f30), requires_capability(0x7ff37dfbd640), requires_capability(0x7ff37611a1f0), requires_capability(0x7ff378d79c50), requires_capability(0x7ff37f827ec0), requires_capability(0x7ff392b8b340), requires_capability(0x7ff378d269a0), requires_capability(0x7ff377f727f0), requires_capability(0x7ff383dd5f00), requires_capability(0x7ff37bca3c80), requires_capability(0x7ff3810215b0), requires_capability(0x7ff35c065c40), requires_capability(0x7ff38bb0da10), requires_capability(0x7ff380245110), requires_capability(0x7ff3704c5ae0), requires_capability(0x7ff35c4d6fb0), requires_capability(0x7ff38b16c320), requires_capability(0x7ff37f5a0590), requires_capability(0x7ff37842ca90), requires_capability(0x7ff3745f2e70), requires_capability(0x7ff389452240), requires_capability(0x7ff383b28bb0), requires_capability(0x7ff38fae55a0), requires_capability(0x7ff390c371f0), requires_capability(0x7ff37fe9ae50), requires_capability(0x7ff37a190590), requires_capability(0x7ff388dd8450), requires_capability(0x7ff391580710), requires_capability(0x7ff36f9f6eb0), requires_capability(0x7ff37c13b140), requires_capability(0x7ff392c56ec0), requires_capability(0x7ff37c857370), requires_capability(0x7ff38efb6930), requires_capability(0x7ff3747663f0), requires_capability(0x7ff37fd77230), requires_capability(0x7ff3762bb1f0), requires_capability(0x7ff38e8cdf80), requires_capability(0x7ff38abb6830), requires_capability(0x7ff378d19400), requires_capability(0x7ff37749cf20), requires_capability(0x7ff38ae57f40), requires_capability(0x7ff375f21a30), requires_capability(0x7ff38c64d3b0), requires_capability(0x7ff36e7dc050), requires_capability(0x7ff3773e1180), requires_capability(0x7ff36e79c040), requires_capability(0x7ff3922d83b0), requires_capability(0x7ff37b28a580), requires_capability(0x7ff390193fc0), requires_capability(0x7ff36e1ab260), requires_capability(0x7ff3640cdfb0), requires_capability(0x7ff38cbd41b0), requires_capability(0x7ff375097870), requires_capability(0x7ff37c8d82e0), requires_capability(0x7ff38cfa1fd0), requires_capability(0x7ff3702618b0), requires_capability(0x7ff368268cd0), requires_capability(0x7ff38d5b86e0), requires_capability(0x7ff383af3c80), requires_capability(0x7ff36c477950), requires_capability(0x7ff3826c6360), requires_capability(0x7ff38d4b99e0), requires_capability(0x7ff37c28fe30), requires_capability(0x7ff37763a9e0), requires_capability(0x7ff37bf61cb0), requires_capability(0x7ff3805cfa50), requires_capability(0x7ff391002d10), requires_capability(0x7ff3709effc0), requires_capability(0x7ff37463cec0), requires_capability(0x7ff37526c7d0)]]
Mutex*
MaybeCheckNotHeld(Mutex* cs);

template<typename MutexType>
[[locks_excluded(0x7ff36c776f18), lock_returned(m), locks_excluded(0x7ff3790f4778), locks_excluded(0x7ff38c646378), locks_excluded(0x7ff39315c098), locks_excluded(0x7ff38c58dd18), locks_excluded(0x7ff36e337d68), locks_excluded(0x7ff38ac0b438), locks_excluded(0x7ff390254968), locks_excluded(0x7ff378a12418), locks_excluded(0x7ff37dfbdb28), locks_excluded(0x7ff37611a6d8), locks_excluded(0x7ff378d7a138), locks_excluded(0x7ff37f8283a8), locks_excluded(0x7ff392b8b828), locks_excluded(0x7ff378d26e88), locks_excluded(0x7ff377fae848), locks_excluded(0x7ff383dd63e8), locks_excluded(0x7ff37bca4168), locks_excluded(0x7ff381021a98), locks_excluded(0x7ff35c066128), locks_excluded(0x7ff38bb0def8), locks_excluded(0x7ff3802455f8), locks_excluded(0x7ff3704c5fc8), locks_excluded(0x7ff35c4d7498), locks_excluded(0x7ff38b16c808), locks_excluded(0x7ff37f5a0a78), locks_excluded(0x7ff37842cf78), locks_excluded(0x7ff3745f3358), locks_excluded(0x7ff389452728), locks_excluded(0x7ff383b29098), locks_excluded(0x7ff38fae5a88), locks_excluded(0x7ff390c376d8), locks_excluded(0x7ff37fe9b338), locks_excluded(0x7ff37a190a78), locks_excluded(0x7ff388dd8938), locks_excluded(0x7ff391580bf8), locks_excluded(0x7ff36f9f7398), locks_excluded(0x7ff37c13b628), locks_excluded(0x7ff392c573a8), locks_excluded(0x7ff37c857858), locks_excluded(0x7ff38efb6e18), locks_excluded(0x7ff3747668d8), locks_excluded(0x7ff37fd77718), locks_excluded(0x7ff3762bb6d8), locks_excluded(0x7ff38e8ce468), locks_excluded(0x7ff38abb6d18), locks_excluded(0x7ff378d198e8), locks_excluded(0x7ff37749d408), locks_excluded(0x7ff38ae58428), locks_excluded(0x7ff375f21f18), locks_excluded(0x7ff38c64d898), locks_excluded(0x7ff36e7dc538), locks_excluded(0x7ff3773e1668), locks_excluded(0x7ff36e79c528), locks_excluded(0x7ff3922d8898), locks_excluded(0x7ff37b28aa68), locks_excluded(0x7ff3901944a8), locks_excluded(0x7ff36e1ab748), locks_excluded(0x7ff3640ce498), locks_excluded(0x7ff38cbd4698), locks_excluded(0x7ff375097d58), locks_excluded(0x7ff37c8d87c8), locks_excluded(0x7ff38cfa24b8), locks_excluded(0x7ff370261d98), locks_excluded(0x7ff3682691b8), locks_excluded(0x7ff38d5b8bc8), locks_excluded(0x7ff383af4168), locks_excluded(0x7ff36c477e38), locks_excluded(0x7ff3826c6848), locks_excluded(0x7ff38d4b9ec8), locks_excluded(0x7ff37c290318), locks_excluded(0x7ff37763aec8), locks_excluded(0x7ff37bf62198), locks_excluded(0x7ff3805cff38), locks_excluded(0x7ff3910031f8), locks_excluded(0x7ff3709f04a8), locks_excluded(0x7ff37463d3a8), locks_excluded(0x7ff37526ccb8)]]
MutexType&
MaybeCheckNotHeld(MutexType& m);

template<typename MutexType>
[[locks_excluded(0x7ff36c777408), lock_returned(m), locks_excluded(0x7ff3790f4c68), locks_excluded(0x7ff38c646868), locks_excluded(0x7ff39315c588), locks_excluded(0x7ff38c58e208), locks_excluded(0x7ff36e338258), locks_excluded(0x7ff38ac0b928), locks_excluded(0x7ff390254e58), locks_excluded(0x7ff378a12908), locks_excluded(0x7ff37dfbe018), locks_excluded(0x7ff37611abc8), locks_excluded(0x7ff378d7a628), locks_excluded(0x7ff37f828898), locks_excluded(0x7ff392b8bd18), locks_excluded(0x7ff378d27378), locks_excluded(0x7ff377faed38), locks_excluded(0x7ff383dd68d8), locks_excluded(0x7ff37bca4658), locks_excluded(0x7ff381021f88), locks_excluded(0x7ff35c066618), locks_excluded(0x7ff38bb0e3e8), locks_excluded(0x7ff380245ae8), locks_excluded(0x7ff3704c64b8), locks_excluded(0x7ff35c4d7988), locks_excluded(0x7ff38b16ccf8), locks_excluded(0x7ff37f5a0f68), locks_excluded(0x7ff37842d468), locks_excluded(0x7ff3745f3848), locks_excluded(0x7ff389452c18), locks_excluded(0x7ff383b29588), locks_excluded(0x7ff38fae5f78), locks_excluded(0x7ff390c37bc8), locks_excluded(0x7ff37fe9b828), locks_excluded(0x7ff37a190f68), locks_excluded(0x7ff388dd8e28), locks_excluded(0x7ff3915810e8), locks_excluded(0x7ff36f9f7888), locks_excluded(0x7ff37c13bb18), locks_excluded(0x7ff392c57898), locks_excluded(0x7ff37c857d48), locks_excluded(0x7ff38efb7308), locks_excluded(0x7ff374766dc8), locks_excluded(0x7ff37fd77c08), locks_excluded(0x7ff3762bbbc8), locks_excluded(0x7ff38e8ce958), locks_excluded(0x7ff38abb7208), locks_excluded(0x7ff378d19dd8), locks_excluded(0x7ff37749d8f8), locks_excluded(0x7ff38ae58918), locks_excluded(0x7ff375f22408), locks_excluded(0x7ff38c64dd88), locks_excluded(0x7ff36e7dca28), locks_excluded(0x7ff3773e1b58), locks_excluded(0x7ff36e79ca18), locks_excluded(0x7ff3922d8d88), locks_excluded(0x7ff37b28af58), locks_excluded(0x7ff390194998), locks_excluded(0x7ff36e1abc38), locks_excluded(0x7ff3640ce988), locks_excluded(0x7ff38cbd4b88), locks_excluded(0x7ff375098248), locks_excluded(0x7ff37c8d8cb8), locks_excluded(0x7ff38cfa29a8), locks_excluded(0x7ff370262288), locks_excluded(0x7ff3682696a8), locks_excluded(0x7ff38d5b90b8), locks_excluded(0x7ff383af4658), locks_excluded(0x7ff36c478328), locks_excluded(0x7ff3826c6d38), locks_excluded(0x7ff38d4ba3b8), locks_excluded(0x7ff37c290808), locks_excluded(0x7ff37763b3b8), locks_excluded(0x7ff37bf62688), locks_excluded(0x7ff3805d0428), locks_excluded(0x7ff3910036e8), locks_excluded(0x7ff3709f0998), locks_excluded(0x7ff37463d898), locks_excluded(0x7ff37526d1a8)]]
MutexType*
MaybeCheckNotHeld(MutexType* m);