⚠️ VeridianOS Kernel Documentation - This is low-level kernel code. All functions are unsafe unless explicitly marked otherwise. no_std

Module smp

Module smp 

Source
Expand description

Guest SMP Support

Multi-vCPU VMs with per-vCPU VMCS, IPI, and SIPI emulation.

Structs§

IpiMessage
IPI message between vCPUs
SmpVm
Multi-vCPU VM
VirtualCpu
Virtual CPU

Enums§

IpiDeliveryMode
Inter-Processor Interrupt delivery mode
VcpuState
vCPU execution state