pub const _SC_LEVEL1_DCACHE_ASSOC: u32 = 129; // 129u32