var osGetTime_8c =
[
    [ "osGetTime", "osGetTime_8c.html#ac9a040dcda7f29a608413f5a5c8963bf", null ],
    [ "__osBaseCounter", "osGetTime_8c.html#ae56f9e39bb4b420a9a2d02e6ca1fecfa", null ],
    [ "__osCurrentTime", "osGetTime_8c.html#a4af0cb38d6a9bc36e9ee5dda55d7726e", null ]
];