--- vmci-only/linux/vmciKernelIf.c	2015-05-06 08:58:06.000000000 +0200
+++ vmci-only/linux/vmciKernelIf.c	2015-05-06 08:58:51.365854540 +0200
@@ -1227,11 +1227,11 @@
       }
 
       if (isIovec) {
-         struct iovec *iov = (struct iovec *)src;
+         struct msghdr *msg = src;
          int err;
 
          /* The iovec will track bytesCopied internally. */
-         err = memcpy_fromiovec((uint8 *)va + pageOffset, iov, toCopy);
+         err = memcpy_from_msg((uint8 *)va + pageOffset, msg, toCopy);
          if (err != 0) {
             if (!kernelIf->isDataMapped) {
                kunmap(kernelIf->page[pageIndex]);