diff --git a/src/vppinfra/memcpy.h b/src/vppinfra/memcpy.h
index 1153797..f3adc78 100644
--- a/src/vppinfra/memcpy.h
+++ b/src/vppinfra/memcpy.h
@@ -6,6 +6,8 @@
 #ifndef included_memcpy_h
 #define included_memcpy_h
 
+#ifndef __COVERITY__
+
 static_always_inline void
 clib_memcpy_u32_x4 (u32 *dst, u32 *src)
 {
@@ -152,4 +154,12 @@
     }
 }
 
+#else /* __COVERITY__ */
+static_always_inline void
+clib_memcpy_u32 (u32 *dst, u32 *src, u32 n_left)
+{
+  memcpy (dst, src, n_left * sizeof (u32));
+}
+#endif
+
 #endif