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.