/* Create 4G page table for STM. 4M Non-PAE page table in IA32 version. */
VOID StmGen4GPageTable(IN UINTN PageTableBase)
/* Create 4G page table for STM. 4M Non-PAE page table in IA32 version. */
VOID StmGen4GPageTable(IN UINTN PageTableBase)
{
  UINTN   Index;
  UINT32  *Pte;
  UINT32  Address;
  Pte = (UINT32 *)(UINTN)PageTableBase;
  Address = 0;
  for (Index = 0; Index < SIZE_4KB / sizeof (*Pte); Index++) {
    *Pte = Address | IA32_PG_PS | IA32_PG_RW | IA32_PG_P;
    Pte++;
    Address += SIZE_4MB;
  }
}