Constant sel4_config::consts::DISABLE_WFI_WFE_TRAPS

pub const DISABLE_WFI_WFE_TRAPS: bool = false;