AssertLockNotHeldInline

Synopsis

Declared in <sync.h>

[[requires_capability(0x7fb95c7e2848), requires_capability(0x7fb985413578), requires_capability(0x7fb979bb9bf8), requires_capability(0x7fb977c07fc8), requires_capability(0x7fb979fb3f08), requires_capability(0x7fb96e0e0508), requires_capability(0x7fb96e607a98), requires_capability(0x7fb987833958), requires_capability(0x7fb97f4f1878), requires_capability(0x7fb96618bc18), requires_capability(0x7fb96a0a3f08), requires_capability(0x7fb97fd97268), requires_capability(0x7fb975ce4de8), requires_capability(0x7fb98439b3d8), requires_capability(0x7fb97f0f6e98), requires_capability(0x7fb9871b8da8), requires_capability(0x7fb97be9c0e8), requires_capability(0x7fb95cbb37d8), requires_capability(0x7fb97ab2dc88), requires_capability(0x7fb97f945a98), requires_capability(0x7fb9859e1f18), requires_capability(0x7fb97a9c8678), requires_capability(0x7fb986aaec48), requires_capability(0x7fb97fd9cf88), requires_capability(0x7fb976db7428), requires_capability(0x7fb97b2338f8), requires_capability(0x7fb977d72c18), requires_capability(0x7fb98550a8f8), requires_capability(0x7fb97efa7078), requires_capability(0x7fb97a5bf3b8), requires_capability(0x7fb967b32188), requires_capability(0x7fb984eeb7f8), requires_capability(0x7fb96e0e90d8), requires_capability(0x7fb9548f9b78), requires_capability(0x7fb95ccc5f78), requires_capability(0x7fb9846b4858), requires_capability(0x7fb95e4b2968), requires_capability(0x7fb96c0701f8), requires_capability(0x7fb958989ce8), requires_capability(0x7fb96f61ed28), requires_capability(0x7fb9686ff668), requires_capability(0x7fb976608378), requires_capability(0x7fb978709cb8), requires_capability(0x7fb9783703a8), requires_capability(0x7fb96bed4678), requires_capability(0x7fb964229c88), requires_capability(0x7fb9580a7ea8), requires_capability(0x7fb965f0de78), requires_capability(0x7fb9793f5978), requires_capability(0x7fb97ad64cc8), requires_capability(0x7fb96b0dc648), requires_capability(0x7fb975f40248), requires_capability(0x7fb97b302138), requires_capability(0x7fb964063e88), requires_capability(0x7fb96c1baae8), requires_capability(0x7fb98569fe08), requires_capability(0x7fb977a29478), requires_capability(0x7fb95cb82268), requires_capability(0x7fb9680053a8), requires_capability(0x7fb97b908038), requires_capability(0x7fb97fa2f3c8), requires_capability(0x7fb985656298), requires_capability(0x7fb97533b618), requires_capability(0x7fb96e3b2ee8), requires_capability(0x7fb97f5729f8), requires_capability(0x7fb96814aa68), requires_capability(0x7fb9654438e8), requires_capability(0x7fb96f46da88), requires_capability(0x7fb9659ec5f8), requires_capability(0x7fb95ce6e308), requires_capability(0x7fb956611b18), requires_capability(0x7fb95b320f68), requires_capability(0x7fb97efe3f28), requires_capability(0x7fb9795010d8), requires_capability(0x7fb967c22578), requires_capability(0x7fb96b5459f8), requires_capability(0x7fb976b90428), requires_capability(0x7fb974cca298)]]
void
AssertLockNotHeldInline(
    char const* name,
    char const* file,
    int line,
    Mutex* cs);