Constant XCHAL_EXTINT25_MASK 

pub const XCHAL_EXTINT25_MASK: u32 = 2147483648;