pub type VCpuSet = CpuMask<MAX_VCPU_NUM>;
A set of virtual CPUs.
pub struct VCpuSet { /* private fields */ }