MaybeCheckNotHeld

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