pub const HV_PROCESSOR_POWER_STATE_C0: u32 = 0;