Functions

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.

Set the VCPU thread affinity and other per-thread scheduler properties. This function will be called from each VCPU thread at startup.

vcpu_loop 🔒