Changeset 93944 in vbox for trunk/src/VBox/Devices/.scm-settings

Timestamp:

Feb 24, 2022 9:15:14 PM (3 years ago)

Author:

vboxsync

Message:

Devices: Must not use PAGE_SIZE, PAGE_SHIFT, PAGE_OFFSET_MASK, PAGE_ADDRESS or PHYS_PAGE_ADDRESS here either. bugref:9898

File:

• trunk/src/VBox/Devices/.scm-settings (modified) (1 diff)

trunk/src/VBox/Devices/.scm-settings

@@ -18 +18 @@
 /*.h: --guard-relative-to-dir .
 /Graphics/vmsvga_glext/*.h|/Graphics/vmsvga/*.h: --guard-relative-to-dir ''
+/*.h: --only-guest-host-page
 
+# Same as for the VMM, careful with page stuff.
+/*.h:   --only-guest-host-page --no-ASMMemPage-use
+/*.cpp: --only-guest-host-page --no-ASMMemPage-use
+/*.m:   --only-guest-host-page --no-ASMMemPage-use
+
+# This defines it's own PAGE_XXX macros.
+/PC/ipxe/src/include/ipxe/virtio-ring.h: --no-page-restrictions