Constant SOC_IDCACHE_PER_CORE 

pub const SOC_IDCACHE_PER_CORE: u32 = 1;