/* If 64-bit MMIO register operations are not supported, then ASSERT(). */
UINT64 EFIAPI S3MmioRead64(IN UINTN Address)
/* If 64-bit MMIO register operations are not supported, then ASSERT(). */
UINT64 EFIAPI S3MmioRead64(IN UINTN Address)
{
  return InternalSaveMmioWrite64ValueToBootScript (Address, MmioRead64 (Address));
}