var osSetTime_8c =
[
    [ "osSetTime", "osSetTime_8c.html#a0d98a2d307753fb3c3764940365ecb65", null ],
    [ "__osCurrentTime", "osSetTime_8c.html#a4af0cb38d6a9bc36e9ee5dda55d7726e", null ]
];