pub fn kick_vcpu(
vcpu_handle: &Option<&(JoinHandle<()>, Sender<VcpuControl>)>,
irq_chip: &dyn IrqChip,
message: VcpuControl
)Expand description
Signals specific running VCPUs to vmexit, sends VcpuControl message to the 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.