pub const HV_PROCESSOR_POWER_STATE_C2: u32 = 2;