var timer__gettimeofday_8c =
[
    [ "osmo_gettimeofday", "group__timer.html#ga8c559c124f4720d0a54af5f206681049", null ],
    [ "osmo_gettimeofday_override_add", "group__timer.html#gafcbae57ab2c2635d0dd248ec3011bd1c", null ],
    [ "osmo_gettimeofday_override", "group__timer.html#gac10c80c84b5f61c509d36f59de66e42f", null ],
    [ "osmo_gettimeofday_override_time", "group__timer.html#gac0b4877db25000054ec9226dc39a7a79", null ]
];