Constant CONFIG_SOC_IDCACHE_PER_CORE 

pub const CONFIG_SOC_IDCACHE_PER_CORE: u32 = 1;