/* For Td guest TDVMCALL_IO is invoked to write I/O port. */
UINT8 EFIAPI IoWrite8(IN UINTN Port, IN UINT8 Value)
/* For Td guest TDVMCALL_IO is invoked to write I/O port. */
UINT8 EFIAPI IoWrite8(IN UINTN Port, IN UINT8 Value)
{
  BOOLEAN  Flag;
  Flag = FilterBeforeIoWrite (FilterWidth8, Port, &Value);
  if (Flag) {
    if (IsTdxGuest ()) {
      TdIoWrite8 (Port, Value);
    } else {
      _ReadWriteBarrier ();
      (UINT8)_outp ((UINT16)Port, Value);
      _ReadWriteBarrier ();
    }
  }
  FilterAfterIoWrite (FilterWidth8, Port, &Value);
  return Value;
}