Searched defs:PDPTEIndex (Results 1 - 1 of 1) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/BaseTools/Source/C/GenPage/
H A DGenPage.c143 int PDPTEIndex; local
181 for (PDPTEIndex = 0; PDPTEIndex < EFI_PDPTE_ENTRY_NUM; PDPTEIndex++, PageDirectoryPointerEntry++) {

Completed in 89 milliseconds