Home
last modified time | relevance | path

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

/device/linaro/bootloader/edk2/UefiCpuPkg/PiSmmCpuDxeSmm/
DSmmProfile.c481 UINTN Level4; in InitPaging() local
559 for (Level4 = 0; Level4 < SIZE_4KB / sizeof(*Pt); Level4++) { in InitPaging()
560 Pt[Level4] = Address + ((Level4 << 12) | PAGE_ATTRIBUTE_BITS); in InitPaging()
631 for (Level4 = 0; Level4 < SIZE_4KB / sizeof(*Pt); Level4++, Pt++) { in InitPaging()