pub const HV_PROCESSOR_POWER_STATE_C1: u32 = 1;