MaybeCheckNotHeld

[[requires_capability(0x7fbc8c930d70), lock_returned(cs), requires_capability(0x7fbca3a55f90), requires_capability(0x7fbc9c84c2b0), requires_capability(0x7fbca0a1a070), requires_capability(0x7fbc9cdfd300), requires_capability(0x7fbc921afc90), requires_capability(0x7fbc92455490), requires_capability(0x7fbca10ea570), requires_capability(0x7fbc8d348bd0), requires_capability(0x7fbc85fdfaa0), requires_capability(0x7fbc96015b80), requires_capability(0x7fbca7b39390), requires_capability(0x7fbcada58250), requires_capability(0x7fbca09beb50), requires_capability(0x7fbca6e1da10), requires_capability(0x7fbca3014b40), requires_capability(0x7fbcaeef9ca0), requires_capability(0x7fbc7522aa70), requires_capability(0x7fbcac443700), requires_capability(0x7fbca4461f20), requires_capability(0x7fbc9eec38f0), requires_capability(0x7fbc84cb4ed0), requires_capability(0x7fbca65f14e0), requires_capability(0x7fbc93d3e6a0), requires_capability(0x7fbc74bd61a0), requires_capability(0x7fbc87e95810), requires_capability(0x7fbc9fb491c0), requires_capability(0x7fbc94f08e10), requires_capability(0x7fbc748d41a0), requires_capability(0x7fbcadd4c4b0), requires_capability(0x7fbc90490020), requires_capability(0x7fbca57f6940), requires_capability(0x7fbc87ebd440), requires_capability(0x7fbc882110c0), requires_capability(0x7fbca0b77fd0), requires_capability(0x7fbca7cfd5d0), requires_capability(0x7fbca758b060), requires_capability(0x7fbc840099c0), requires_capability(0x7fbc800887a0), requires_capability(0x7fbcae398280), requires_capability(0x7fbc9e4b6b20), requires_capability(0x7fbc9513dbf0), requires_capability(0x7fbcaecf4040), requires_capability(0x7fbcad71dc80), requires_capability(0x7fbc9f8bf900), requires_capability(0x7fbc8d7c4040), requires_capability(0x7fbc9e9470d0), requires_capability(0x7fbcac4d9d90), requires_capability(0x7fbca51c5300), requires_capability(0x7fbca01d4de0), requires_capability(0x7fbc96c69170), requires_capability(0x7fbca53f0710), requires_capability(0x7fbc9d420280), requires_capability(0x7fbca6ebb7d0), requires_capability(0x7fbc88832e40), requires_capability(0x7fbca1c99390), requires_capability(0x7fbc9d8d0190), requires_capability(0x7fbca73f7aa0), requires_capability(0x7fbca27257f0), requires_capability(0x7fbcaea80e90), requires_capability(0x7fbc9d30a720), requires_capability(0x7fbca1f29580), requires_capability(0x7fbcac307f40), requires_capability(0x7fbc74093c20), requires_capability(0x7fbc9e8da260), requires_capability(0x7fbca1b1c710), requires_capability(0x7fbc879266f0), requires_capability(0x7fbca77c9f80), requires_capability(0x7fbca1020c70), requires_capability(0x7fbc8faacd10), requires_capability(0x7fbc84f8f000), requires_capability(0x7fbc8d7bb540), requires_capability(0x7fbc93792040), requires_capability(0x7fbcacc411b0), requires_capability(0x7fbc9273c960), requires_capability(0x7fbc94198ca0), requires_capability(0x7fbca56d59e0), requires_capability(0x7fbc805147b0), requires_capability(0x7fbca37e5840)]]
Mutex*
MaybeCheckNotHeld(Mutex* cs);