731   const struct poly3_span b_high = {&b->s[low_len], &b->a[low_len]};  in poly3_mul_aux()  local
738   poly3_span_add(&b_cross_sum, b, &b_high, low_len);  in poly3_mul_aux()
742     b_cross_sum.s[low_len] = b_high.s[low_len];  in poly3_mul_aux()
743     b_cross_sum.a[low_len] = b_high.a[low_len];  in poly3_mul_aux()
755   poly3_mul_aux(&out_high, &child_scratch, &a_high, &b_high, high_len);  in poly3_mul_aux()
1248   const vec_t *b_high = &b[low_len];  in poly_mul_vec_aux()  local
1254     out[high_len + i] = vec_add(b_high[i], b[i]);  in poly_mul_vec_aux()
1258     out[high_len + low_len] = b_high[low_len];  in poly_mul_vec_aux()
1265   poly_mul_vec_aux(&out[low_len * 2], child_scratch, a_high, b_high, high_len);  in poly_mul_vec_aux()
1344   const uint16_t *const b_high = &b[low_len];  in poly_mul_novec_aux()  local
1348     out[high_len + i] = b_high[i] + b[i];  in poly_mul_novec_aux()
1352     out[high_len + low_len] = b_high[low_len];  in poly_mul_novec_aux()
1357   poly_mul_novec_aux(&out[low_len * 2], child_scratch, a_high, b_high,  in poly_mul_novec_aux()