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