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