Constant DEFAULT_DEMAND_RESERVED_FETCH_PERMITS 

pub const DEFAULT_DEMAND_RESERVED_FETCH_PERMITS: usize = 8; // 8usize

Default number of DEFAULT_TOTAL_FETCH_PERMITS slots reserved for demand reads (never consumed by prefetch).