Lines Matching refs:timer
9 let timer =14 timer21 timer.wait().unwrap();29 let timer =33 timer43 timer.wait().unwrap();48 timer.wait().unwrap();56 let timer =59 timer66 timer.unset().unwrap();68 assert!(timer.get().unwrap().is_none());