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