Constant sel4_config::consts::DEBUG_DISABLE_PREFETCHERS

pub const DEBUG_DISABLE_PREFETCHERS: bool = false;