#include <rte_memory.h>
#include <rte_memzone.h>
#include <rte_prefetch.h>
-#include <rte_ioat_spec.h>
+#include "rte_ioat_spec.h"
/** Name of the device driver */
#define IOAT_PMD_RAWDEV_NAME rawdev_ioat
desc->src_addr = src;
desc->dest_addr = dst;
- ioat->hdls[write] = _mm_set_epi64((__m64)((uint64_t)dst_hdl),
- (__m64)((uint64_t)src_hdl));
+ ioat->hdls[write] = _mm_set_epi64x((int64_t)dst_hdl, (int64_t)src_hdl);
rte_prefetch0(&ioat->desc_ring[ioat->next_write & mask]);
ioat->enqueued++;