Home
last modified time | relevance | path

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

/device/linaro/bootloader/edk2/UefiCpuPkg/Library/SmmCpuFeaturesLib/Ia32/
DSmmStmSupport.c41 UINT32 *Pte; in StmGen4GPageTable() local
44 Pte = (UINT32*)(UINTN)PageTableBase; in StmGen4GPageTable()
47 for (Index = 0; Index < SIZE_4KB / sizeof (*Pte); Index++) { in StmGen4GPageTable()
48 *Pte = Address | IA32_PG_PS | IA32_PG_RW | IA32_PG_P; in StmGen4GPageTable()
49 Pte++; in StmGen4GPageTable()
/device/linaro/bootloader/edk2/UefiCpuPkg/Library/SmmCpuFeaturesLib/X64/
DSmmStmSupport.c43 UINT64 *Pte; in StmGen4GPageTable() local
52 Pte = (UINT64 *)(UINTN)PageTableBase; in StmGen4GPageTable()
59 for (SubIndex = 0; SubIndex < SIZE_4KB / sizeof (*Pte); SubIndex++) { in StmGen4GPageTable()
60 *Pte = (((Index << 9) + SubIndex) << 21) | IA32_PG_PS | IA32_PG_RW | IA32_PG_P; in StmGen4GPageTable()
61 Pte++; in StmGen4GPageTable()
/device/linaro/bootloader/edk2/UefiCpuPkg/PiSmmCpuDxeSmm/
DSmmProfile.c475 UINT64 *Pte; in InitPaging() local
533 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()
600 Pte = (UINT64 *)(UINTN)(*Pde & PHYSICAL_ADDRESS_MASK); in InitPaging()
601 if (Pte == 0) { in InitPaging()
[all …]
DMpService.c741 UINT64 *Pte; in Gen4GPageTable() local
773 Pte = (UINT64*)PageTable; in Gen4GPageTable()
778 ZeroMem (Pte, EFI_PAGES_TO_SIZE (1)); in Gen4GPageTable()
784Pte[Index] = (UINTN)PageTable + EFI_PAGE_SIZE * (Index + 1) + (Is32BitPageTable ? IA32_PAE_PDPTE_A… in Gen4GPageTable()
786 Pte += EFI_PAGE_SIZE / sizeof (*Pte); in Gen4GPageTable()
791 for (Index = 0; Index < EFI_PAGE_SIZE * 4 / sizeof (*Pte); Index++) { in Gen4GPageTable()
792 Pte[Index] = (Index << 21) | IA32_PG_PS | PAGE_ATTRIBUTE_BITS; in Gen4GPageTable()
800Pte = (UINT64*)(UINTN)(Pdpte[BitFieldRead32 ((UINT32)PageIndex, 30, 31)] & ~(EFI_PAGE_SIZE - 1)); in Gen4GPageTable()
801 Pte[BitFieldRead32 ((UINT32)PageIndex, 21, 29)] = (UINT64)Pages | PAGE_ATTRIBUTE_BITS; in Gen4GPageTable()
805 Pte = (UINT64*)Pages; in Gen4GPageTable()
[all …]
/device/google/crosshatch/json-c/
DCOPYING24 Copyright (c) 2004, 2005 Metaparadigm Pte Ltd
/device/google/bonito/json-c/
DCOPYING24 Copyright (c) 2004, 2005 Metaparadigm Pte Ltd