Constant ZX_PROCESSOR_POWER_CONTROL_RISCV_WFI 

pub const ZX_PROCESSOR_POWER_CONTROL_RISCV_WFI: u64 = 4 /* 4u64 */;