pub const _SC_LEVEL1_DCACHE_SIZE: u32 = 128;