Home
last modified time | relevance | path

Searched defs:PageNumberTop (Results 1 – 2 of 2) sorted by relevance

/device/linaro/bootloader/edk2/DuetPkg/DxeIpl/Ia32/
DPaging.c150 VOID *PageNumberTop, in PreparePageTable()
/device/linaro/bootloader/edk2/DuetPkg/DxeIpl/X64/
DPaging.c187 VOID *PageNumberTop, in PreparePageTable()