Constant PCIC_DEFAULT_NUMSOCKETS 

pub const PCIC_DEFAULT_NUMSOCKETS: u32 = 0u32;