/* In TDX a serial of TdIoWrite8 is invoked to write data to the I/O port. */
VOID EFIAPI TdIoWriteFifo8(IN UINTN Port, IN UINTN Count, IN VOID *Buffer)
/* In TDX a serial of TdIoWrite8 is invoked to write data to the I/O port. */
VOID EFIAPI TdIoWriteFifo8(IN UINTN Port, IN UINTN Count, IN VOID *Buffer)
{
  UINT8  *Buf8;
  UINTN  Index;
  Buf8 = (UINT8 *)Buffer;
  for (Index = 0; Index < Count; Index++) {
    TdIoWrite8 (Port, Buf8[Index]);
  }
}