/* Fills a constant value into a floating-point vector.  */
void arm_fill_f64(float64_t value, float64_t *pDst, uint32_t blockSize)
/* Fills a constant value into a floating-point vector.  */
void arm_fill_f64(float64_t value, float64_t *pDst, uint32_t blockSize)
{
  uint32_t blkCnt;
  blkCnt = blockSize;
  while (blkCnt > 0U)
  {
    *pDst++ = value;
    blkCnt--;
  }
}