Constant XCHAL_INTLEVEL4_MASK 

pub const XCHAL_INTLEVEL4_MASK: u32 = 1392508928;