var a00524 = [ [ "swap", "a00524.html#gac58580a65df691769770684cc985719d", null ], [ "adopt_lock", "a00524.html#ga742a9b4798379cd99d03bbf298d3685c", null ], [ "defer_lock", "a00524.html#ga70a73adf8c062ea682cd99580d0a39be", null ], [ "try_to_lock", "a00524.html#ga05e641e1ecba98edb6fa4714a6c03e0d", null ] ];