sel4_config::consts

Constant DEBUG_DISABLE_BRANCH_PREDICTION

Source 
pub const DEBUG_DISABLE_BRANCH_PREDICTION: bool = false;