Constant XCHAL_EXTINT12_NUM 

pub const XCHAL_EXTINT12_NUM: u32 = 17;