sel4_config::consts

Constant DEBUG_DISABLE_PREFETCHERS

Source 
pub const DEBUG_DISABLE_PREFETCHERS: bool = false;