var structos_timer_def__t =
[
    [ "ptimer", "structos_timer_def__t.html#a15773df83aba93f8e61f3737af5fae47", null ],
    [ "timer", "structos_timer_def__t.html#a7107c9a80d9b4991d437133827e35839", null ]
];