/* If 16-bit I/O port operations are not supported, then ASSERT(). */
UINT16 EFIAPI S3IoRead16(IN UINTN Port)
/* If 16-bit I/O port operations are not supported, then ASSERT(). */
UINT16 EFIAPI S3IoRead16(IN UINTN Port)
{
  return InternalSaveIoWrite16ValueToBootScript (Port, IoRead16 (Port));
}