/* In TDX a serial of TdIoRead32 is invoked to read data from the I/O port. */
VOID EFIAPI TdIoReadFifo32(IN UINTN Port, IN UINTN Count, OUT VOID *Buffer)
/* In TDX a serial of TdIoRead32 is invoked to read data from the I/O port. */
VOID EFIAPI TdIoReadFifo32(IN UINTN Port, IN UINTN Count, OUT VOID *Buffer)
{
  UINT32  *Buf32;
  UINTN   Index;
  Buf32 = (UINT32 *)Buffer;
  for (Index = 0; Index < Count; Index++) {
    Buf32[Index] = TdIoRead32 (Port);
  }
}