Home
last modified time | relevance | path

Searched refs:TopLevelPageDirectory (Results 1 – 2 of 2) sorted by relevance

/device/linaro/bootloader/edk2/UefiCpuPkg/ResetVector/Vtf0/X64/
DPageTables.asm42 %define PGTBLS_OFFSET(x) ((x) - TopLevelPageDirectory)
43 %define PGTBLS_ADDR(x) (ADDR_OF(TopLevelPageDirectory) + (x))
45 %define PDP(offset) (ADDR_OF(TopLevelPageDirectory) + (offset) + \
49 TopLevelPageDirectory: label
/device/linaro/bootloader/edk2/UefiCpuPkg/ResetVector/Vtf0/Ia32/
DPageTables64.asm26 mov eax, ADDR_OF(TopLevelPageDirectory)