+
+ /**
+ * Calculate the entry wise product of two vectors of doubles and store the result in
+ * a vector of doubles.
+ *
+ * @param dst output vector
+ * constraints: 32-byte aligned
+ * @param src0 first input vector
+ * constraints: 32-byte aligned
+ * @param src1 second input vector
+ * constraints: 32-byte aligned
+ * @param len number of elements in the input
+ * constraints: multiple of 16
+ */
+ void (*vector_dmul)(double *dst, const double *src0, const double *src1,
+ int len);