AssertLockNotHeldInline

[[requires_capability(0x7fd74ca2b548), requires_capability(0x7fd7491041a8), requires_capability(0x7fd760d21e68), requires_capability(0x7fd75ea926f8), requires_capability(0x7fd75bb639a8), requires_capability(0x7fd749f67f68), requires_capability(0x7fd7486bfc38), requires_capability(0x7fd7609a15a8), requires_capability(0x7fd750ccece8), requires_capability(0x7fd75609e8f8), requires_capability(0x7fd74e0594c8), requires_capability(0x7fd751879cc8), requires_capability(0x7fd76a1e16f8), requires_capability(0x7fd760e32b48), requires_capability(0x7fd750537728), requires_capability(0x7fd74c2ee718), requires_capability(0x7fd75607cd08), requires_capability(0x7fd75d89a138), requires_capability(0x7fd75a0a9228), requires_capability(0x7fd75e83b2a8), requires_capability(0x7fd7606c0368), requires_capability(0x7fd7584450f8), requires_capability(0x7fd7535ea028), requires_capability(0x7fd760adb2d8), requires_capability(0x7fd74c079678), requires_capability(0x7fd75a6b8938), requires_capability(0x7fd744195858), requires_capability(0x7fd75eaa0a18), requires_capability(0x7fd74ca06858), requires_capability(0x7fd75aa901a8), requires_capability(0x7fd76adbabb8), requires_capability(0x7fd75d2bed28), requires_capability(0x7fd7597a9158), requires_capability(0x7fd757cbabc8), requires_capability(0x7fd761ebff88), requires_capability(0x7fd75cc5f3f8), requires_capability(0x7fd7601502d8), requires_capability(0x7fd75aaf5c68), requires_capability(0x7fd750e63778), requires_capability(0x7fd749461c48), requires_capability(0x7fd76ac88748), requires_capability(0x7fd75ff6b8d8), requires_capability(0x7fd75b291628), requires_capability(0x7fd74089d1c8), requires_capability(0x7fd76a2fb4b8), requires_capability(0x7fd7521839f8), requires_capability(0x7fd7565e6d08), requires_capability(0x7fd748171988), requires_capability(0x7fd754596968), requires_capability(0x7fd748348288), requires_capability(0x7fd75399c9d8), requires_capability(0x7fd75a1f1d08), requires_capability(0x7fd7609d31e8), requires_capability(0x7fd7482bce68), requires_capability(0x7fd74fbcc528), requires_capability(0x7fd75263d208), requires_capability(0x7fd74c1d13e8), requires_capability(0x7fd75ac47fe8), requires_capability(0x7fd757878528), requires_capability(0x7fd75cf912d8), requires_capability(0x7fd761fd9ca8), requires_capability(0x7fd76a2759c8), requires_capability(0x7fd750ccdfc8), requires_capability(0x7fd760e9e248), requires_capability(0x7fd74af9a508), requires_capability(0x7fd76a265ec8), requires_capability(0x7fd75c8a65d8), requires_capability(0x7fd738110178), requires_capability(0x7fd7487371a8), requires_capability(0x7fd763ba56f8), requires_capability(0x7fd757bfeec8), requires_capability(0x7fd761f7e7f8), requires_capability(0x7fd75352cce8), requires_capability(0x7fd76af3e508), requires_capability(0x7fd738233e08), requires_capability(0x7fd749970f98), requires_capability(0x7fd752f1d9f8), requires_capability(0x7fd7587ab1a8), requires_capability(0x7fd76999fc68)]]
void
AssertLockNotHeldInline(
    char const* name,
    char const* file,
    int line,
    Mutex* cs);