Constant PCIC_DEFAULT_IRQMASK 

pub const PCIC_DEFAULT_IRQMASK: u32 = 20152u32;