pub const HYPERV_CPUID_MAX: u32 = 1073807359;