AssertLockNotHeldInline

[[locks_excluded(0x7f2e18926bd8), locks_excluded(0x7f2e18c0cf38), locks_excluded(0x7f2e324d6308), locks_excluded(0x7f2e402500b8), locks_excluded(0x7f2e36f50798), locks_excluded(0x7f2e2a2fb718), locks_excluded(0x7f2e37b23808), locks_excluded(0x7f2e33bb3658), locks_excluded(0x7f2e3b4d10f8), locks_excluded(0x7f2e22082e28), locks_excluded(0x7f2e25f2fba8), locks_excluded(0x7f2e42e7d8f8), locks_excluded(0x7f2e3ba24378), locks_excluded(0x7f2e31c43708), locks_excluded(0x7f2e2259f478), locks_excluded(0x7f2e32361458), locks_excluded(0x7f2e362323c8), locks_excluded(0x7f2e23dd3a68), locks_excluded(0x7f2e1c703968), locks_excluded(0x7f2e21ec5c58), locks_excluded(0x7f2e3043c198), locks_excluded(0x7f2e36beffd8), locks_excluded(0x7f2e33a491f8), locks_excluded(0x7f2e22536e58), locks_excluded(0x7f2e1bc262d8), locks_excluded(0x7f2e29c67998), locks_excluded(0x7f2e19a582d8), locks_excluded(0x7f2e146d24a8), locks_excluded(0x7f2e41a69898), locks_excluded(0x7f2e36f48d78), locks_excluded(0x7f2e1be5dd88), locks_excluded(0x7f2e30e41118), locks_excluded(0x7f2e29ccf5d8), locks_excluded(0x7f2e3aa8c508), locks_excluded(0x7f2e43f1f968), locks_excluded(0x7f2e30e17228), locks_excluded(0x7f2e2320dce8), locks_excluded(0x7f2e362da738), locks_excluded(0x7f2e1419b758), locks_excluded(0x7f2e357b6078), locks_excluded(0x7f2e1889ec98), locks_excluded(0x7f2e24901758), locks_excluded(0x7f2e2857d1a8), locks_excluded(0x7f2e3ad579d8), locks_excluded(0x7f2e33768398), locks_excluded(0x7f2e370edbd8), locks_excluded(0x7f2e30c08078), locks_excluded(0x7f2e2a6ae898), locks_excluded(0x7f2e0800a2e8), locks_excluded(0x7f2e3ab4a858), locks_excluded(0x7f2e26d2c5c8), locks_excluded(0x7f2e1d2c5dc8), locks_excluded(0x7f2e08461ca8), locks_excluded(0x7f2e1c5989b8), locks_excluded(0x7f2e38a0d648), locks_excluded(0x7f2e1405ffc8), locks_excluded(0x7f2e1975e998), locks_excluded(0x7f2e2ab5f1e8), locks_excluded(0x7f2e42e808e8), locks_excluded(0x7f2e24180bc8), locks_excluded(0x7f2e3a6c4958), locks_excluded(0x7f2e11f15048), locks_excluded(0x7f2e1446a238), locks_excluded(0x7f2e19a77018), locks_excluded(0x7f2e297b80d8), locks_excluded(0x7f2e31e45c38), locks_excluded(0x7f2e395de998), locks_excluded(0x7f2e403c4a48), locks_excluded(0x7f2e3103d018), locks_excluded(0x7f2e222306b8), locks_excluded(0x7f2e1b6767b8), locks_excluded(0x7f2e33024b88), locks_excluded(0x7f2e36fe1d38), locks_excluded(0x7f2e38408528), locks_excluded(0x7f2e239269b8), locks_excluded(0x7f2e28ce1968), locks_excluded(0x7f2e31264df8), locks_excluded(0x7f2e35be71e8), locks_excluded(0x7f2e1e8a7e88)]]
void
AssertLockNotHeldInline(
    char const* name,
    char const* file,
    int line,
    GlobalMutex* cs);

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

[[locks_excluded(0x7f2e18926648), locks_excluded(0x7f2e18c0c9a8), locks_excluded(0x7f2e324d5d78), locks_excluded(0x7f2e4024fb28), locks_excluded(0x7f2e36f50208), locks_excluded(0x7f2e2a2fb188), locks_excluded(0x7f2e37b23278), locks_excluded(0x7f2e33bb30c8), locks_excluded(0x7f2e3b4d0b68), locks_excluded(0x7f2e22082898), locks_excluded(0x7f2e25f2f618), locks_excluded(0x7f2e42e7d368), locks_excluded(0x7f2e3ba23de8), locks_excluded(0x7f2e31c43178), locks_excluded(0x7f2e2259eee8), locks_excluded(0x7f2e32360ec8), locks_excluded(0x7f2e36231e38), locks_excluded(0x7f2e23dd34d8), locks_excluded(0x7f2e1c7033d8), locks_excluded(0x7f2e21ec56c8), locks_excluded(0x7f2e3043bc08), locks_excluded(0x7f2e36befa48), locks_excluded(0x7f2e33a48c68), locks_excluded(0x7f2e225368c8), locks_excluded(0x7f2e1bc25d48), locks_excluded(0x7f2e29c67408), locks_excluded(0x7f2e19a57d48), locks_excluded(0x7f2e146d1f18), locks_excluded(0x7f2e41a69308), locks_excluded(0x7f2e36f487e8), locks_excluded(0x7f2e1be5d7f8), locks_excluded(0x7f2e30e40b88), locks_excluded(0x7f2e29ccf048), locks_excluded(0x7f2e3aa8bf78), locks_excluded(0x7f2e43f1f3d8), locks_excluded(0x7f2e30e16c98), locks_excluded(0x7f2e2320d758), locks_excluded(0x7f2e362da1a8), locks_excluded(0x7f2e1419b1c8), locks_excluded(0x7f2e357b5ae8), locks_excluded(0x7f2e1889e708), locks_excluded(0x7f2e249011c8), locks_excluded(0x7f2e2857cc18), locks_excluded(0x7f2e3ad57448), locks_excluded(0x7f2e33767e08), locks_excluded(0x7f2e370ed648), locks_excluded(0x7f2e30c07ae8), locks_excluded(0x7f2e2a6ae308), locks_excluded(0x7f2e08009d58), locks_excluded(0x7f2e3ab4a2c8), locks_excluded(0x7f2e26d2c038), locks_excluded(0x7f2e1d2c5838), locks_excluded(0x7f2e08461718), locks_excluded(0x7f2e1c598428), locks_excluded(0x7f2e38a0d0b8), locks_excluded(0x7f2e1405fa38), locks_excluded(0x7f2e1975e408), locks_excluded(0x7f2e2ab5ec58), locks_excluded(0x7f2e42e80358), locks_excluded(0x7f2e24180638), locks_excluded(0x7f2e3a6c43c8), locks_excluded(0x7f2e11f14ab8), locks_excluded(0x7f2e14469ca8), locks_excluded(0x7f2e19a76a88), locks_excluded(0x7f2e297b7b48), locks_excluded(0x7f2e31e456a8), locks_excluded(0x7f2e395de408), locks_excluded(0x7f2e403c44b8), locks_excluded(0x7f2e3103ca88), locks_excluded(0x7f2e22230128), locks_excluded(0x7f2e1b676228), locks_excluded(0x7f2e330245f8), locks_excluded(0x7f2e36fe17a8), locks_excluded(0x7f2e38407f98), locks_excluded(0x7f2e23926428), locks_excluded(0x7f2e28ce13d8), locks_excluded(0x7f2e31264868), locks_excluded(0x7f2e35be6c58), locks_excluded(0x7f2e1e8a78f8)]]
void
AssertLockNotHeldInline(
    char const* name,
    char const* file,
    int line,
    RecursiveMutex* cs);