/* Allocate pages for creating 4KB-page based on 2MB-page when page fault happens.  */
VOID InitPagesForPFHandler(VOID)
/* Allocate pages for creating 4KB-page based on 2MB-page when page fault happens.  */
VOID InitPagesForPFHandler(VOID)
{
  VOID  *Address;
  Address = NULL;
  Address = AllocatePages (MAX_PF_PAGE_COUNT);
  ASSERT (Address != NULL);
  mPFPageBuffer =  (UINT64)(UINTN)Address;
  mPFPageIndex  = 0;
  ZeroMem ((VOID *)(UINTN)mPFPageBuffer, EFI_PAGE_SIZE * MAX_PF_PAGE_COUNT);
  ZeroMem (mPFPageUplink, sizeof (mPFPageUplink));
  return;
}