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