Searched defs:VcpuDebugStatusMessage (Results 1 – 1 of 1) sorted by relevance
134 from_vcpu: mpsc::Receiver<VcpuDebugStatusMessage>, in new()543 to_gdb_tube: Option<&mpsc::Sender<VcpuDebugStatusMessage>>, in vcpu_exit_debug()561 reply_tube: Option<&mpsc::Sender<VcpuDebugStatusMessage>>, in vcpu_control_debug()