sel4_config::consts

Constant ARM_HIKEY_PREFETCHER_STBPFDIS

Source 
pub const ARM_HIKEY_PREFETCHER_STBPFDIS: bool = false;