Constant XCHAL_HAVE_MUL32_HIGH 

pub const XCHAL_HAVE_MUL32_HIGH: u32 = 1;