Constant xen_sys::XEN_LEGACY_MAX_VCPUS

pub const XEN_LEGACY_MAX_VCPUS: u32 = 32;