Include

Timestamp:

Nov 19, 2009 2:21:54 PM (15 years ago)

Author:

vboxsync

Message:

EFI: EFI 64-bit host support.

Location:

trunk/src/VBox/Devices/EFI/Firmware2/VBoxPkg/Include

Files:

trunk/src/VBox/Devices/EFI/Firmware2/VBoxPkg/Include/DevEFI.h

-              r23400
+              r24790
     /** 0x18 - Amount of memory above 4GB (in bytes). */
     uint64_t    cbAbove4GB;
     /** 0x20 - Flags reserved for future use, must be zero. */
+    /** 0x20 - see flags values below */
     uint32_t    fFlags;
     /** 0x24 - The nubmer of Virtual CPUs. */
 …
 /** The physical address where DEVEFIINFO can be found. */
 #define DEVEFI_INFO_PHYS_ADDR   (0xfffff000)
+#define DEVEFI_INFO_FLAGS_X64   RT_BIT(0)
 /** @} */

r23400	r24790
55	55
56	56	%define DEVEFI_INFO_PHYS_ADDR (0xfffff000)
	57	%define DEVEFI_INFO_FLAGS_X64 RT_BIT(0)
57	58
58	59	%endif

Note: See TracChangeset for help on using the changeset viewer.