var group__rtx5__specific__functions =
[
    [ "osRtxErrorNotify", "group__rtx5__specific__functions.html#gaf1745a88f9cc60b609ab1c8076bd346d", null ],
    [ "osRtxIdleThread", "group__rtx5__specific__functions.html#ga074068b8efa7074cee68a71481d0b072", null ]
];