Constant sel4_config::consts::ARM_HIKEY_PREFETCHER_STBPFDIS

pub const ARM_HIKEY_PREFETCHER_STBPFDIS: bool = false;