/* If 8-bit I/O port operations are not supported, then ASSERT(). */
UINT8 EFIAPI S3IoWrite8(IN UINTN Port, IN UINT8 Value)
/* If 8-bit I/O port operations are not supported, then ASSERT(). */
UINT8 EFIAPI S3IoWrite8(IN UINTN Port, IN UINT8 Value)
{
  return InternalSaveIoWrite8ValueToBootScript (Port, IoWrite8 (Port, Value));
}