MaybeCheckNotHeld

[[requires_capability(0x7fbc8c930888), lock_returned(cs), requires_capability(0x7fbca3a55aa8), requires_capability(0x7fbc9c84bdc8), requires_capability(0x7fbca0a19b88), requires_capability(0x7fbc9cdfce18), requires_capability(0x7fbc921af7a8), requires_capability(0x7fbc92454fa8), requires_capability(0x7fbca10ea088), requires_capability(0x7fbc8d3486e8), requires_capability(0x7fbc85fdf5b8), requires_capability(0x7fbc96015698), requires_capability(0x7fbca7b38ea8), requires_capability(0x7fbcada57d68), requires_capability(0x7fbca09be668), requires_capability(0x7fbca6e1d528), requires_capability(0x7fbca3014658), requires_capability(0x7fbcaeef97b8), requires_capability(0x7fbc7522a588), requires_capability(0x7fbcac443218), requires_capability(0x7fbca4461a38), requires_capability(0x7fbc9eec3408), requires_capability(0x7fbc84cb49e8), requires_capability(0x7fbca65f0ff8), requires_capability(0x7fbc93d3e1b8), requires_capability(0x7fbc74bd5cb8), requires_capability(0x7fbc87e95328), requires_capability(0x7fbc9fb48cd8), requires_capability(0x7fbc94f08928), requires_capability(0x7fbc748d3cb8), requires_capability(0x7fbcadd4bfc8), requires_capability(0x7fbc9048fb38), requires_capability(0x7fbca57f6458), requires_capability(0x7fbc87ebcf58), requires_capability(0x7fbc88210bd8), requires_capability(0x7fbca0b77ae8), requires_capability(0x7fbca7cfd0e8), requires_capability(0x7fbca758ab78), requires_capability(0x7fbc840094d8), requires_capability(0x7fbc800882b8), requires_capability(0x7fbcae397d98), requires_capability(0x7fbc9e4b6638), requires_capability(0x7fbc9513d708), requires_capability(0x7fbcaecf3b58), requires_capability(0x7fbcad71d798), requires_capability(0x7fbc9f8bf418), requires_capability(0x7fbc8d7c3b58), requires_capability(0x7fbc9e946be8), requires_capability(0x7fbcac4d98a8), requires_capability(0x7fbca51c4e18), requires_capability(0x7fbca01d48f8), requires_capability(0x7fbc96c68c88), requires_capability(0x7fbca53f0228), requires_capability(0x7fbc9d41fd98), requires_capability(0x7fbca6ebb2e8), requires_capability(0x7fbc88832958), requires_capability(0x7fbca1c98ea8), requires_capability(0x7fbc9d8cfca8), requires_capability(0x7fbca73f75b8), requires_capability(0x7fbca2725308), requires_capability(0x7fbcaea809a8), requires_capability(0x7fbc9d30a238), requires_capability(0x7fbca1f29098), requires_capability(0x7fbcac307a58), requires_capability(0x7fbc74093738), requires_capability(0x7fbc9e8d9d78), requires_capability(0x7fbca1b1c228), requires_capability(0x7fbc87926208), requires_capability(0x7fbca77c9a98), requires_capability(0x7fbca1020788), requires_capability(0x7fbc8faac828), requires_capability(0x7fbc84f8eb18), requires_capability(0x7fbc8d7bb058), requires_capability(0x7fbc93791b58), requires_capability(0x7fbcacc40cc8), requires_capability(0x7fbc9273c478), requires_capability(0x7fbc941987b8), requires_capability(0x7fbca56d54f8), requires_capability(0x7fbc805142c8), requires_capability(0x7fbca37e5358)]]
Mutex&
MaybeCheckNotHeld(Mutex& cs);