/* This function restores CR2 register when on-demand paging is enabled. */
VOID RestoreCr2(IN UINTN Cr2)
/* This function restores CR2 register when on-demand paging is enabled. */
VOID RestoreCr2(IN UINTN Cr2)
{
  if (!mCpuSmmRestrictedMemoryAccess) {
    AsmWriteCr2 (Cr2);
  }
}