MaybeCheckNotHeld

[[requires_capability(0x7f9500841ce8), lock_returned(cs), requires_capability(0x7f9525cc75c8), requires_capability(0x7f950db728d8), requires_capability(0x7f951f578df8), requires_capability(0x7f950c189448), requires_capability(0x7f950e1b41b8), requires_capability(0x7f9522ff7888), requires_capability(0x7f951c783258), requires_capability(0x7f951414f418), requires_capability(0x7f950a044f78), requires_capability(0x7f95020880a8), requires_capability(0x7f9515b2a388), requires_capability(0x7f9527a09fb8), requires_capability(0x7f951c7953c8), requires_capability(0x7f95220d66c8), requires_capability(0x7f9503cc8248), requires_capability(0x7f9527b0c7c8), requires_capability(0x7f950db4cf48), requires_capability(0x7f9525eef4c8), requires_capability(0x7f9521a9a3d8), requires_capability(0x7f951f7c27f8), requires_capability(0x7f9527a70988), requires_capability(0x7f9500b1c348), requires_capability(0x7f950f391688), requires_capability(0x7f9503460428), requires_capability(0x7f950833bc88), requires_capability(0x7f95039ce398), requires_capability(0x7f9513c16178), requires_capability(0x7f950fa3c8e8), requires_capability(0x7f94f89591b8), requires_capability(0x7f951d5933c8), requires_capability(0x7f951715cf28), requires_capability(0x7f95088b2d08), requires_capability(0x7f951e622fd8), requires_capability(0x7f950f8a8688), requires_capability(0x7f94f0888948), requires_capability(0x7f950e102a48), requires_capability(0x7f9527a51aa8), requires_capability(0x7f95104b2c78), requires_capability(0x7f950bbe4618), requires_capability(0x7f9517b77148), requires_capability(0x7f951ea72d98), requires_capability(0x7f950a203678), requires_capability(0x7f9527c3caf8), requires_capability(0x7f9513f89538), requires_capability(0x7f9523f11958), requires_capability(0x7f9516a0fd78), requires_capability(0x7f95036734b8), requires_capability(0x7f9513c3dd98), requires_capability(0x7f9526266848), requires_capability(0x7f9523c2f538), requires_capability(0x7f951d2a33d8), requires_capability(0x7f952678e408), requires_capability(0x7f950165fc78), requires_capability(0x7f95082c8388), requires_capability(0x7f9523c2ab38), requires_capability(0x7f9509279098), requires_capability(0x7f951c5adb78), requires_capability(0x7f950c2eccc8), requires_capability(0x7f951250b268), requires_capability(0x7f9508140b48), requires_capability(0x7f95066ed2f8), requires_capability(0x7f9510f53338), requires_capability(0x7f9501a15d38), requires_capability(0x7f9508b805d8), requires_capability(0x7f952165fb98), requires_capability(0x7f9517b0ee38), requires_capability(0x7f9502e53fe8), requires_capability(0x7f950da85ce8), requires_capability(0x7f94fc853b58), requires_capability(0x7f94f8a88538), requires_capability(0x7f951fe81938), requires_capability(0x7f94f066d948), requires_capability(0x7f952503ce88), requires_capability(0x7f950697eaa8), requires_capability(0x7f9515b876b8), requires_capability(0x7f95038511e8), requires_capability(0x7f9514950378), requires_capability(0x7f95157b9b28)]]
Mutex&
MaybeCheckNotHeld(Mutex& cs);