Changeset 81193 in vbox

Timestamp:

Oct 9, 2019 5:12:48 PM (5 years ago)

Author:

vboxsync

Message:

EFI/Firmware: Handle to the page table entry memory as volatile to avoid compilers optimizing code which can create an invalid intermediate state causing a triple fault with nested paging disabled

File:

• trunk/src/VBox/Devices/EFI/Firmware/UefiCpuPkg/CpuDxe/CpuPageTable.c (modified) (1 diff)

trunk/src/VBox/Devices/EFI/Firmware/UefiCpuPkg/CpuDxe/CpuPageTable.c

@@ -518 +518 @@
 RETURN_STATUS
 SplitPage (
+#ifdef VBOX
+  IN  volatile UINT64                   *PageEntry,
+#else
   IN  UINT64                            *PageEntry,
+#endif
   IN  PAGE_ATTRIBUTE                    PageAttribute,
   IN  PAGE_ATTRIBUTE                    SplitAttribute,