var group__rtx5__specific__functions =
[
    [ "osRtxErrorNotify", "group__rtx5__specific__functions.html#gaf1745a88f9cc60b609ab1c8076bd346d", null ],
    [ "osRtxIdleThread", "group__rtx5__specific__functions.html#gacc47720b9a10fcb7d3412640c8276465", null ],
    [ "osRtxSysTimerSetup", "group__rtx5__specific__functions.html#gaa10ba9022d27bfbf2f76c40663f4598d", null ],
    [ "osRtxSysTimerEnable", "group__rtx5__specific__functions.html#ga186a61d27c68b3ae841dded8f1289857", null ],
    [ "osRtxSysTimerDisable", "group__rtx5__specific__functions.html#gaf8200a879df96753af1af391fadd9f9e", null ],
    [ "osRtxSysTimerAckIRQ", "group__rtx5__specific__functions.html#ga9194d74a1170a6107fb8a9bb3783dace", null ],
    [ "osRtxSysTimerGetCount", "group__rtx5__specific__functions.html#gaa1b9fdcae08625c1f32e230051c3601f", null ],
    [ "osRtxSysTimerGetFreq", "group__rtx5__specific__functions.html#gaa15aeddbccbc909c2ea88f9e2fe98ccf", null ]
];