Constant XCHAL_EXTINT9_MASK 

pub const XCHAL_EXTINT9_MASK: u32 = 4096;