Searched refs:L4PageTable (Results 1 – 2 of 2) sorted by relevance
905 UINT64 *L4PageTable; in SetPageTableAttributes() local925 L4PageTable = (UINT64 *)GetPageTableBase (); in SetPageTableAttributes()926 …SmmSetMemoryAttributesEx ((EFI_PHYSICAL_ADDRESS)(UINTN)L4PageTable, SIZE_4KB, EFI_MEMORY_RO, &IsSp… in SetPageTableAttributes()930 L3PageTable = (UINT64 *)(UINTN)(L4PageTable[Index4] & PAGING_4K_ADDRESS_MASK_64); in SetPageTableAttributes()
108 UINT64 *L4PageTable; in GetPageTableEntry() local116 L4PageTable = (UINT64 *)GetPageTableBase (); in GetPageTableEntry()117 if (L4PageTable[Index4] == 0) { in GetPageTableEntry()122 L3PageTable = (UINT64 *)(UINTN)(L4PageTable[Index4] & PAGING_4K_ADDRESS_MASK_64); in GetPageTableEntry()