var timer_8h =
[
    [ "beep", "timer_8h.html#a99325999034be84a6abdf6741fe803d3", null ],
    [ "get_ticks", "timer_8h.html#aa3fa09dedf9b10b08a0434283bb38c3a", null ],
    [ "rdtsc", "timer_8h.html#a47b9d70be3022fd0b5687d9794ca47bc", null ],
    [ "sleep", "timer_8h.html#af35c4d193fc8597d8ac55d9a75412987", null ],
    [ "sleep_one_tick", "timer_8h.html#a6dbbb4d2fda3aef6312d0e7623acbb2c", null ],
    [ "stopbeep", "timer_8h.html#a3ab66fa3b556221f1a269253ad20e597", null ],
    [ "timer_callback", "timer_8h.html#a428b3ed0f25a149f0d4d96789451cc49", null ]
];