pub fn kick_all_vcpus(
    vcpu_handles: &[(JoinHandle<()>, Sender<VcpuControl>)],
    irq_chip: &dyn IrqChip,
    message: VcpuControl
Expand description

Signals all running VCPUs to vmexit, sends VcpuControl message to each VCPU tube, and tells irq_chip to stop blocking halted VCPUs. The channel message is set first because both the signal and the irq_chip kick could cause the VCPU thread to continue through the VCPU run loop.