Searched refs:Is32BitPageTable (Results 1 – 2 of 2) sorted by relevance
427 IN BOOLEAN Is32BitPageTable
736 IN BOOLEAN Is32BitPageTable in Gen4GPageTable() argument784 …Pte[Index] = (UINTN)PageTable + EFI_PAGE_SIZE * (Index + 1) + (Is32BitPageTable ? IA32_PAE_PDPTE_A… in Gen4GPageTable()