Constant SOC_SHARED_IDCACHE_SUPPORTED 

pub const SOC_SHARED_IDCACHE_SUPPORTED: u32 = 1;