Searched defs:VcpuArch (Results 1 – 5 of 5) sorted by relevance
145 fn whpx_configure_vcpu(vcpu: &mut dyn VcpuArch, irq_chip: &mut dyn IrqChipArch) { in whpx_configure_vcpu()177 ) -> Result<RunnableVcpuInfo<V>> in runnable_vcpu()266 vcpus: Arc<Mutex<Vec<Box<dyn VcpuArch>>>>, in run()563 vcpu_boxes: Arc<Mutex<Vec<Box<dyn VcpuArch>>>>, in run_all_vcpus()
165 _vcpu_boxes: &Mutex<Vec<Box<dyn VcpuArch>>>, in handle_received_token()
173 ) -> Result<(V, VcpuRunHandle)> in runnable_vcpu()
456 Vcpu: VcpuArch; in build_vm()475 vcpu: &mut dyn VcpuArch, in configure_vcpu()
780 vcpu_boxes: &Mutex<Vec<Box<dyn VcpuArch>>>, in handle_readable_event()