Constant ZX_PROCESSOR_POWER_CONTROL_ARM_WFI 

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