mini-os: Fix build failure with void* arithmetic.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/extras/mini-os/lib/sys.c b/extras/mini-os/lib/sys.c
index 2141d00c6521ebae29d34ddbdea99aeea2d11b72..21e3b1fec9af822085a4cf525801b9076abf233f 100644 (file)
--- a/extras/mini-os/lib/sys.c
+++ b/extras/mini-os/lib/sys.c
@@ -1179,7 +1179,7 @@ int munmap(void *start, size_t length)
                 }
             }
         }
-        start += n * PAGE_SIZE;
+        start = (char *)start + n * PAGE_SIZE;
         total -= n;
     }
     return 0;