Searched refs:PDEIndex (Results 1 - 1 of 1) sorted by relevance
| /vbox/src/VBox/Devices/EFI/Firmware/BaseTools/Source/C/GenPage/ | ||
| H A D | GenPage.c | 144 int PDEIndex; local 195 for (PDEIndex = 0; PDEIndex < EFI_PDE_ENTRY_NUM; PDEIndex++, PageDirectoryEntry2MB++) { |
Completed in 49 milliseconds