/* If 32-bit MMIO register operations are not supported, then ASSERT(). */
UINT32 EFIAPI S3MmioRead32(IN UINTN Address)
/* If 32-bit MMIO register operations are not supported, then ASSERT(). */
UINT32 EFIAPI S3MmioRead32(IN UINTN Address)
{
  return InternalSaveMmioWrite32ValueToBootScript (Address, MmioRead32 (Address));
}