var group__CMSIS__RTOS__TickAPI =
[
    [ "OS_Tick_Setup", "group__CMSIS__RTOS__TickAPI.html#ga5eeffb4d9dc6c6802fee8898096d9a59", null ],
    [ "OS_Tick_Enable", "group__CMSIS__RTOS__TickAPI.html#gaaa0d6ddef6816e8e5650fde3daf191e7", null ],
    [ "OS_Tick_Disable", "group__CMSIS__RTOS__TickAPI.html#ga50fc040b66fabd1945d2bd1d0d05661d", null ],
    [ "OS_Tick_AcknowledgeIRQ", "group__CMSIS__RTOS__TickAPI.html#ga14c430d2b363ebd9f904b0822a9314e7", null ],
    [ "OS_Tick_GetIRQn", "group__CMSIS__RTOS__TickAPI.html#gaa8b4eca23e3ffe2df403291958cdc905", null ],
    [ "OS_Tick_GetClock", "group__CMSIS__RTOS__TickAPI.html#ga936217ea28236fb57648973e0d8f627a", null ],
    [ "OS_Tick_GetInterval", "group__CMSIS__RTOS__TickAPI.html#ga123151dc19d5a94a68f12cdbf61a9bb5", null ],
    [ "OS_Tick_GetCount", "group__CMSIS__RTOS__TickAPI.html#gaa64a145a554f1e5077848938d7f39c92", null ],
    [ "OS_Tick_GetOverflow", "group__CMSIS__RTOS__TickAPI.html#ga1f9a593126b7f0b66fc526c2cebd6192", null ]
];