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