pub const ZX_PROCESSOR_POWER_CONTROL_ARM_WFI: u64 = 2; // 2u64