Searched defs:set_pvclock_page_queue (Results 1 – 1 of 1) sorted by relevance
376 let set_pvclock_page_queue = queues.remove(&0).unwrap(); in start_main_worker() localVariable740 set_pvclock_page_queue: Queue, field