Constant sel4_config::consts::ARM_HIKEY_OUTSTANDING_PREFETCHERS

pub const ARM_HIKEY_OUTSTANDING_PREFETCHERS: &str = "0";