xt-sys/exectos
3
5
Fork 3
Code Issues 3 Pull Requests 1 Actions Projects 1 Releases Wiki Activity

We support EFI-enabled systems only and such machines should support PAE, so there is no need for XTLDR to support non-PAE x86 hardware
All checks were successful
ci/woodpecker/push/build Pipeline was successful
Details

Browse Source
This commit is contained in:
Rafal Kupiec
2022-12-28 15:57:03 +01:00
parent fcfa575bff
commit 9dc0e60f28
5 changed files with 107 additions and 208 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
sdk/xtdk/i686/mmtypes.h
View File

@@ -12,26 +12,8 @@
#include "xtcommon.h"
/* Page Table entry structure definition */
/* Page Table entry structure definition (with PAE support) */
typedef struct _HARDWARE_PTE
{
UINT32 Valid:1;
UINT32 Write:1;
UINT32 Owner:1;
UINT32 WriteThrough:1;
UINT32 CacheDisable:1;
UINT32 Accessed:1;
UINT32 Dirty:1;
UINT32 LargePage:1;
UINT32 Global:1;
UINT32 CopyOnWrite:1;
UINT32 Prototype:1;
UINT32 Reserved:1;
UINT32 PageFrameNumber:20;
} HARDWARE_PTE, *PHARDWARE_PTE;
/* Page Table entry with PAE support structure definition */
typedef struct _HARDWARE_PTE_PAE
{
ULONGLONG Valid:1;
ULONGLONG Write:1;
@@ -49,6 +31,6 @@ typedef struct _HARDWARE_PTE_PAE
ULONGLONG Reserved1:12;
ULONGLONG SoftwareWsIndex:11;
ULONGLONG NoExecute:1;
} HARDWARE_PTE_PAE, *PHARDWARE_PTE_PAE;
} HARDWARE_PTE, *PHARDWARE_PTE;
#endif /* __XTDK_I686_MMTYPES_H */