pub const XEN_LEGACY_MAX_VCPUS: u32 = 32;