var group__CMSIS__RTOS__TickAPI =
[
    [ "OS_Tick_Setup", "group__CMSIS__RTOS__TickAPI.html#ga5eeffb4d9dc6c6802fee8898096d9a59", null ],
    [ "OS_Tick_Enable", "group__CMSIS__RTOS__TickAPI.html#ga3e47971bf3a02599d9ecb32208adafec", null ],
    [ "OS_Tick_Disable", "group__CMSIS__RTOS__TickAPI.html#ga5e325c304fef5003b1dc31906f6a3056", null ],
    [ "OS_Tick_AcknowledgeIRQ", "group__CMSIS__RTOS__TickAPI.html#ga57065ec4b281504ad4de13a419870b4f", 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 ]
];