e270d03f2">rtx_evr.h</a>
</li>
<li>EvrRtxKernelGetState()
: <a class="el" href="group__rtx__evr__kernel.html#gad6407e9ff0910629b041866bd801075a">rtx_evr.h</a>
</li>
<li>EvrRtxKernelGetSysTimerCount()
: <a class="el" href="group__rtx__evr__kernel.html#gafb6530be8201b119015a3f45d66c2f09">rtx_evr.h</a>
</li>
<li>EvrRtxKernelGetSysTimerFreq()
: <a class="el" href="group__rtx__evr__kernel.html#gaf2bdfcb7b099295c7b0123abe88e10a3">rtx_evr.h</a>
</li>
<li>EvrRtxKernelGetTickCount()
: <a class="el" href="group__rtx_