Home
last modified time | relevance | path

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

/device/linaro/bootloader/edk2/UefiCpuPkg/PiSmmCpuDxeSmm/
DMpService.c741 IN UINTN ExtraPages, in Gen4GPageTable() argument
775 PageTable = AllocatePageTableMemory (ExtraPages + 5 + PagesNeeded); in Gen4GPageTable()
778 PageTable = (VOID *)((UINTN)PageTable + EFI_PAGES_TO_SIZE (ExtraPages)); in Gen4GPageTable()
DPiSmmCpuDxeSmm.h382 IN UINTN ExtraPages,