pub const HV_X64_CPU_POWER_MANAGEMENT: u32 = 4096;