Constant XCHAL_INT4_EXTNUM 

pub const XCHAL_INT4_EXTNUM: u32 = 4;