Searched refs:NumberOfPml4EntriesNeeded (Results 1 - 5 of 5) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Core/DxeIplPeim/X64/
H A DVirtualMemory.c56 UINT32 NumberOfPml4EntriesNeeded; local
107 NumberOfPml4EntriesNeeded = 1;
110 NumberOfPml4EntriesNeeded = (UINT32)LShiftU64 (1, (PhysicalAddressBits - 39));
118 TotalPagesNum = (NumberOfPdpEntriesNeeded + 1) * NumberOfPml4EntriesNeeded + 1;
120 TotalPagesNum = NumberOfPml4EntriesNeeded + 1;
133 for (IndexOfPml4Entries = 0; IndexOfPml4Entries < NumberOfPml4EntriesNeeded; IndexOfPml4Entries++, PageMapLevel4Entry++) {
/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Universal/CapsuleRuntimeDxe/X64/
H A DSaveLongModeContext.c96 UINT32 NumberOfPml4EntriesNeeded; local
164 NumberOfPml4EntriesNeeded = 1;
167 NumberOfPml4EntriesNeeded = 1 << (PhysicalAddressBits - 39);
171 TotalPagesNum = (NumberOfPdpEntriesNeeded + 1) * NumberOfPml4EntriesNeeded + 1;
/vbox/src/VBox/Devices/EFI/Firmware/IntelFrameworkModulePkg/Universal/Acpi/AcpiS3SaveDxe/
H A DAcpiS3Save.c211 UINT32 NumberOfPml4EntriesNeeded; local
262 NumberOfPml4EntriesNeeded = 1;
265 NumberOfPml4EntriesNeeded = (UINT32)LShiftU64 (1, (PhysicalAddressBits - 39));
273 TotalPageTableSize = (UINTN)(1 + NumberOfPml4EntriesNeeded + NumberOfPml4EntriesNeeded * NumberOfPdpEntriesNeeded);
275 TotalPageTableSize = (UINTN)(1 + NumberOfPml4EntriesNeeded);
289 for (IndexOfPml4Entries = 0; IndexOfPml4Entries < NumberOfPml4EntriesNeeded; IndexOfPml4Entries++, PageMapLevel4Entry++) {
/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Universal/CapsulePei/
H A DUefiCapsule.c61 UINT32 NumberOfPml4EntriesNeeded; local
104 NumberOfPml4EntriesNeeded = 1;
107 NumberOfPml4EntriesNeeded = (UINT32)LShiftU64 (1, (PhysicalAddressBits - 39));
112 TotalPagesNum = (NumberOfPdpEntriesNeeded + 1) * NumberOfPml4EntriesNeeded + 1;
114 TotalPagesNum = NumberOfPml4EntriesNeeded + 1;
139 UINT32 NumberOfPml4EntriesNeeded; local
187 NumberOfPml4EntriesNeeded = 1;
190 NumberOfPml4EntriesNeeded = (UINT32)LShiftU64 (1, (PhysicalAddressBits - 39));
207 for (IndexOfPml4Entries = 0; IndexOfPml4Entries < NumberOfPml4EntriesNeeded; IndexOfPml4Entries++, PageMapLevel4Entry++) {
/vbox/src/VBox/Devices/EFI/Firmware/UefiCpuPkg/Universal/Acpi/S3Resume2Pei/
H A DS3Resume.c496 UINT32 NumberOfPml4EntriesNeeded; local
559 NumberOfPml4EntriesNeeded = 1;
562 NumberOfPml4EntriesNeeded = (UINT32)LShiftU64 (1, (PhysicalAddressBits - 39));
568 for (IndexOfPml4Entries = 0; IndexOfPml4Entries < NumberOfPml4EntriesNeeded; IndexOfPml4Entries++, PageMapLevel4Entry++) {

Completed in 140 milliseconds