driver: fix unsigned long overflow in leave_hypervisor

[jailhouse.git] / driver / main.c

diff --git a/driver/main.c b/driver/main.c
index 60b67bd5e8aec66ad8874e480bcc70bdba11fc3a..39ab7946cff56f13efce6ff7721a99c43a510924 100644 (file)
--- a/driver/main.c
+++ b/driver/main.c
@@ -330,15 +330,15 @@ error_unlock:
 
 static void leave_hypervisor(void *info)
 {
-       unsigned long size;
        void *page;
        int err;
 
        /* Touch each hypervisor page we may need during the switch so that
         * the active mm definitely contains all mappings. At least x86 does
         * not support taking any faults while switching worlds. */
-       for (page = hypervisor_mem, size = hv_core_and_percpu_size; size > 0;
-            size -= PAGE_SIZE, page += PAGE_SIZE)
+       for (page = hypervisor_mem;
+            page < hypervisor_mem + hv_core_and_percpu_size;
+            page += PAGE_SIZE)
                readl((void __iomem *)page);
 
        /* either returns 0 or the same error code across all CPUs */