API.html#ga123151dc19d5a94a68f12cdbf61a9bb5">OS_Tick_GetInterval</a> : Get OS Tick timer interval reload value.</li>
<li><a class="el" href="group__CMSIS__RTOS__TickAPI.html#gaa64a145a554f1e5077848938d7f39c92">OS_Tick_GetCount</a> : Get OS Tick timer counter value.</li>
<li><a class="el" href="group__CMSIS__RTOS__TickAPI.html#ga1f9a593126b7f0b66fc526c2cebd6192">OS_Tick_GetOverflow</a> : Get OS Tick timer overflow status. </li>
</ul>
</li>
</ul>
</div></div><!-- contents -->
</div><!-- doc-content -->
<!-- s