Constant XCHAL_INT20_EXTNUM 

pub const XCHAL_INT20_EXTNUM: u32 = 15;