Constant esp_idf_sys::XCHAL_HAVE_MUL32_HIGH

pub const XCHAL_HAVE_MUL32_HIGH: u32 = 1;