Changeset 99671 in vbox for trunk/src/VBox/VMM

Timestamp:

May 8, 2023 1:10:56 PM (21 months ago)

Author:

vboxsync

Message:

VMM/tstVMStructSize: Use X86_PAGE_4K_SIZE instead of PAGE_SIZE which might not be 4KiB on non x86 hosts (like ARM where it is 16KiB)

File:

• trunk/src/VBox/VMM/testcase/tstVMStructSize.cpp (modified) (1 diff)

trunk/src/VBox/VMM/testcase/tstVMStructSize.cpp

@@ -189 +189 @@
     CHECK_SIZE(RTUUID, 16);
     CHECK_SIZE(X86PTE, 4);
-    CHECK_SIZE(X86PD, PAGE_SIZE);
+    CHECK_SIZE(X86PD, X86_PAGE_4K_SIZE);
     CHECK_SIZE(X86PDE, 4);
-    CHECK_SIZE(X86PT, PAGE_SIZE);
+    CHECK_SIZE(X86PT, X86_PAGE_4K_SIZE);
     CHECK_SIZE(X86PTEPAE, 8);
-    CHECK_SIZE(X86PTPAE, PAGE_SIZE);
+    CHECK_SIZE(X86PTPAE, X86_PAGE_4K_SIZE);
     CHECK_SIZE(X86PDEPAE, 8);
-    CHECK_SIZE(X86PDPAE, PAGE_SIZE);
+    CHECK_SIZE(X86PDPAE, X86_PAGE_4K_SIZE);
     CHECK_SIZE(X86PDPE, 8);
-    CHECK_SIZE(X86PDPT, PAGE_SIZE);
+    CHECK_SIZE(X86PDPT, X86_PAGE_4K_SIZE);
     CHECK_SIZE(X86PML4E, 8);
-    CHECK_SIZE(X86PML4, PAGE_SIZE);
+    CHECK_SIZE(X86PML4, X86_PAGE_4K_SIZE);
 
     PRINT_OFFSET(VM, cpum);