var group__XBT__mallocator__objects =
[
    [ "xbt_mallocator_get", "group__XBT__mallocator__objects.html#ga3e52409c5b24294ef98367b56cad4c7b", null ],
    [ "xbt_mallocator_release", "group__XBT__mallocator__objects.html#gaf33e29b8ca5ab081c3ab323cf42fd244", null ],
    [ "xbt_mallocator_initialization_is_done", "group__XBT__mallocator__objects.html#ga98bad11b395593e2681d1bc8daebfc5f", null ]
];