pub const PCIC_DEFAULT_IRQMASK: u32 = 20152u32;