Searched defs:timer_manager (Results 1 – 2 of 2) sorted by relevance
2 pub mod timer_manager; module
161 let timer_manager = TIMER_TASK_MANAGER.read().unwrap(); in get_timer() localVariable174 let timer_manager = TIMER_TASK_MANAGER.read().unwrap(); in update_next_trigger() localVariable