IoLibFifoCc.c

Go to the documentation of this file.

 
#include "BaseIoLibIntrinsicInternal.h"
#include "IoLibSev.h"
#include "IoLibTdx.h"
#include <Uefi/UefiBaseType.h>
#include <Library/TdxLib.h>
 
VOID
EFIAPI
IoReadFifo8 (
  IN      UINTN  Port,
  IN      UINTN  Count,
  OUT     VOID   *Buffer
  )
{
  if (IsTdxGuest ()) {
    TdIoReadFifo8 (Port, Count, Buffer);
  } else {
    SevIoReadFifo8 (Port, Count, Buffer);
  }
}
 
VOID
EFIAPI
IoWriteFifo8 (
  IN      UINTN  Port,
  IN      UINTN  Count,
  IN      VOID   *Buffer
  )
{
  if (IsTdxGuest ()) {
    TdIoWriteFifo8 (Port, Count, Buffer);
  } else {
    SevIoWriteFifo8 (Port, Count, Buffer);
  }
}
 
VOID
EFIAPI
IoReadFifo16 (
  IN      UINTN  Port,
  IN      UINTN  Count,
  OUT     VOID   *Buffer
  )
{
  if (IsTdxGuest ()) {
    TdIoReadFifo16 (Port, Count, Buffer);
  } else {
    SevIoReadFifo16 (Port, Count, Buffer);
  }
}
 
VOID
EFIAPI
IoWriteFifo16 (
  IN      UINTN  Port,
  IN      UINTN  Count,
  IN      VOID   *Buffer
  )
{
  if (IsTdxGuest ()) {
    TdIoWriteFifo16 (Port, Count, Buffer);
  } else {
    SevIoWriteFifo16 (Port, Count, Buffer);
  }
}
 
VOID
EFIAPI
IoReadFifo32 (
  IN      UINTN  Port,
  IN      UINTN  Count,
  OUT     VOID   *Buffer
  )
{
  if (IsTdxGuest ()) {
    TdIoReadFifo32 (Port, Count, Buffer);
  } else {
    SevIoReadFifo32 (Port, Count, Buffer);
  }
}
 
VOID
EFIAPI
IoWriteFifo32 (
  IN      UINTN  Port,
  IN      UINTN  Count,
  IN      VOID   *Buffer
  )
{
  if (IsTdxGuest ()) {
    TdIoWriteFifo32 (Port, Count, Buffer);
  } else {
    SevIoWriteFifo32 (Port, Count, Buffer);
  }
}