var group__coreinit__exit =
[
    [ "_Exit", "group__coreinit__exit.html#ga26095e03513175ff6129565601f19d9a", null ],
    [ "exit", "group__coreinit__exit.html#ga7b17e5913b7dff48eec9ba3976ccfd3c", null ]
];