var searchData=
[
['os_20tick_20api',['OS Tick API',['../group__CMSIS__RTOS__TickAPI.html',1,'']]]
];