MaybeCheckNotHeld

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