Constant XCHAL_INT10_EXTNUM 

pub const XCHAL_INT10_EXTNUM: u32 = 8;