Update util.h

XENHID does not use much of the functionality in util.h, including the
__AllocatePages() function modified by this change, however it is good to
keep the header in-sync with the other drivers.

Signed-off-by: Paul Durrant <paul.durrant@citrix.com>

diff --git a/src/xenhid/util.h b/src/xenhid/util.h
index f294db790e557e4f553e634da8d74ea50675352c..cb7bbe2f947ff56b800d1537d8e37603599b8383 100644 (file)
--- a/src/xenhid/util.h
+++ b/src/xenhid/util.h
@@ -219,7 +219,11 @@ __AllocatePages(
     if (MdlMappedSystemVa == NULL)
         goto fail3;
 
-    ASSERT3P(MdlMappedSystemVa, ==, Mdl->MappedSystemVa);
+    Mdl->StartVa = PAGE_ALIGN(MdlMappedSystemVa);
+
+    ASSERT3U(Mdl->ByteOffset, ==, 0);
+    ASSERT3P(Mdl->StartVa, ==, MdlMappedSystemVa);
+    ASSERT3P(Mdl->MappedSystemVa, ==, MdlMappedSystemVa);
 
     RtlZeroMemory(MdlMappedSystemVa, Mdl->ByteCount);