AssertLockNotHeldInline

[[requires_capability(0x7f2e18926098), requires_capability(0x7f2e18c0c3f8), requires_capability(0x7f2e324d57c8), requires_capability(0x7f2e4024f578), requires_capability(0x7f2e36f4fc58), requires_capability(0x7f2e2a2fabd8), requires_capability(0x7f2e37b22cc8), requires_capability(0x7f2e33bb2b18), requires_capability(0x7f2e3b4d05b8), requires_capability(0x7f2e220822e8), requires_capability(0x7f2e25f2f068), requires_capability(0x7f2e42e7cdb8), requires_capability(0x7f2e3ba23838), requires_capability(0x7f2e31c42bc8), requires_capability(0x7f2e2259e938), requires_capability(0x7f2e32360918), requires_capability(0x7f2e36231888), requires_capability(0x7f2e23dd2f28), requires_capability(0x7f2e1c702e28), requires_capability(0x7f2e21ec5118), requires_capability(0x7f2e3043b658), requires_capability(0x7f2e36bef498), requires_capability(0x7f2e33a486b8), requires_capability(0x7f2e22536318), requires_capability(0x7f2e1bc25798), requires_capability(0x7f2e29c66e58), requires_capability(0x7f2e19a57798), requires_capability(0x7f2e146d1968), requires_capability(0x7f2e41a68d58), requires_capability(0x7f2e36f48238), requires_capability(0x7f2e1be5d248), requires_capability(0x7f2e30e405d8), requires_capability(0x7f2e29ccea98), requires_capability(0x7f2e3aa8b9c8), requires_capability(0x7f2e43f1ee28), requires_capability(0x7f2e30e166e8), requires_capability(0x7f2e2320d1a8), requires_capability(0x7f2e362d9bf8), requires_capability(0x7f2e1419ac18), requires_capability(0x7f2e357b5538), requires_capability(0x7f2e1889e158), requires_capability(0x7f2e24900c18), requires_capability(0x7f2e2857c668), requires_capability(0x7f2e3ad56e98), requires_capability(0x7f2e33767858), requires_capability(0x7f2e370ed098), requires_capability(0x7f2e30c07538), requires_capability(0x7f2e2a6add58), requires_capability(0x7f2e080097a8), requires_capability(0x7f2e3ab49d18), requires_capability(0x7f2e26d2ba88), requires_capability(0x7f2e1d2c5288), requires_capability(0x7f2e08461168), requires_capability(0x7f2e1c597e78), requires_capability(0x7f2e38a0cb08), requires_capability(0x7f2e1405f488), requires_capability(0x7f2e1975de58), requires_capability(0x7f2e2ab5e6a8), requires_capability(0x7f2e42e7fda8), requires_capability(0x7f2e24180088), requires_capability(0x7f2e3a6c3e18), requires_capability(0x7f2e11f14508), requires_capability(0x7f2e144696f8), requires_capability(0x7f2e19a764d8), requires_capability(0x7f2e297b7598), requires_capability(0x7f2e31e450f8), requires_capability(0x7f2e395dde58), requires_capability(0x7f2e403c3f08), requires_capability(0x7f2e3103c4d8), requires_capability(0x7f2e2222fb78), requires_capability(0x7f2e1b675c78), requires_capability(0x7f2e33024048), requires_capability(0x7f2e36fe11f8), requires_capability(0x7f2e384079e8), requires_capability(0x7f2e23925e78), requires_capability(0x7f2e28ce0e28), requires_capability(0x7f2e312642b8), requires_capability(0x7f2e35be66a8), requires_capability(0x7f2e1e8a7348)]]
void
AssertLockNotHeldInline(
    char const* name,
    char const* file,
    int line,
    Mutex* cs);