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 ]
];