Constant sel4_config::consts::ARM_HIKEY_PREFETCHER_STRIDE

pub const ARM_HIKEY_PREFETCHER_STRIDE: &str = "0";