Home
last modified time | relevance | path

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

/device/linaro/bootloader/edk2/UefiCpuPkg/PiSmmCpuDxeSmm/X64/
DPageTbl.c901 UINTN Index4; in SetPageTableAttributes() local
929 for (Index4 = 0; Index4 < SIZE_4KB/sizeof(UINT64); Index4++) { in SetPageTableAttributes()
930 L3PageTable = (UINT64 *)(UINTN)(L4PageTable[Index4] & PAGING_4K_ADDRESS_MASK_64); in SetPageTableAttributes()
/device/linaro/bootloader/edk2/UefiCpuPkg/PiSmmCpuDxeSmm/
DSmmCpuMemoryManagement.c104 UINTN Index4; in GetPageTableEntry() local
110 Index4 = ((UINTN)RShiftU64 (Address, 39)) & PAGING_PAE_INDEX_MASK; in GetPageTableEntry()
117 if (L4PageTable[Index4] == 0) { in GetPageTableEntry()
122 L3PageTable = (UINT64 *)(UINTN)(L4PageTable[Index4] & PAGING_4K_ADDRESS_MASK_64); in GetPageTableEntry()