Constant XCHAL_EXTINT10_NUM 

pub const XCHAL_EXTINT10_NUM: u32 = 13;