Searched refs:Pte (Results 1 – 2 of 2) sorted by relevance
481 UINT64 *Pte; in InitPaging() local533 Pte = (UINT64 *)(UINTN)(*Pde & PHYSICAL_ADDRESS_MASK); in InitPaging()534 if (Pte == 0) { in InitPaging()537 for (Level3 = 0; Level3 < SIZE_4KB / sizeof (*Pte); Level3++, Pte++) { in InitPaging()538 if ((*Pte & IA32_PG_P) == 0) { in InitPaging()549 if (((*Pte & IA32_PG_PS) != 0) && IsAddressSplit (Address)) { in InitPaging()553 ASSERT (Address == (*Pte & PHYSICAL_ADDRESS_MASK)); in InitPaging()562 *Pte = (UINTN)Pt | PAGE_ATTRIBUTE_BITS; in InitPaging()591 Pte = (UINT64 *)(UINTN)(*Pde & PHYSICAL_ADDRESS_MASK); in InitPaging()592 if (Pte == 0) { in InitPaging()[all …]
747 UINT64 *Pte; in Gen4GPageTable() local779 Pte = (UINT64*)PageTable; in Gen4GPageTable()784 ZeroMem (Pte, EFI_PAGES_TO_SIZE (1)); in Gen4GPageTable()790 …Pte[Index] = (UINTN)PageTable + EFI_PAGE_SIZE * (Index + 1) + (Is32BitPageTable ? IA32_PAE_PDPTE_A… in Gen4GPageTable()792 Pte += EFI_PAGE_SIZE / sizeof (*Pte); in Gen4GPageTable()797 for (Index = 0; Index < EFI_PAGE_SIZE * 4 / sizeof (*Pte); Index++) { in Gen4GPageTable()798 Pte[Index] = (Index << 21) | IA32_PG_PS | PAGE_ATTRIBUTE_BITS; in Gen4GPageTable()806 … Pte = (UINT64*)(UINTN)(Pdpte[BitFieldRead32 ((UINT32)PageIndex, 30, 31)] & ~(EFI_PAGE_SIZE - 1)); in Gen4GPageTable()807 Pte[BitFieldRead32 ((UINT32)PageIndex, 21, 29)] = (UINT64)Pages | PAGE_ATTRIBUTE_BITS; in Gen4GPageTable()811 Pte = (UINT64*)Pages; in Gen4GPageTable()[all …]