/* If 64-bit I/O port operations are not supported, then ASSERT(). */
UINT64 EFIAPI S3IoRead64(IN UINTN Port)
/* If 64-bit I/O port operations are not supported, then ASSERT(). */
UINT64 EFIAPI S3IoRead64(IN UINTN Port)
{
  return InternalSaveIoWrite64ValueToBootScript (Port, IoRead64 (Port));
}