Constant sel4_config::consts::DEBUG_DISABLE_BRANCH_PREDICTION

pub const DEBUG_DISABLE_BRANCH_PREDICTION: bool = false;