IoLibInternalTdxNull.c

Go to the documentation of this file.

 
#include <Library/BaseLib.h>
#include "BaseIoLibIntrinsicInternal.h"
#include "IoLibTdx.h"
 
BOOLEAN
EFIAPI
IsTdxGuest (
  VOID
  )
{
  return FALSE;
}
 
UINT8
EFIAPI
TdIoRead8 (
  IN      UINTN  Port
  )
{
  ASSERT (FALSE);
  return 0;
}
 
UINT16
EFIAPI
TdIoRead16 (
  IN      UINTN  Port
  )
{
  ASSERT (FALSE);
  return 0;
}
 
UINT32
EFIAPI
TdIoRead32 (
  IN      UINTN  Port
  )
{
  ASSERT (FALSE);
  return 0;
}
 
UINT8
EFIAPI
TdIoWrite8 (
  IN      UINTN  Port,
  IN      UINT8  Value
  )
{
  ASSERT (FALSE);
  return 0;
}
 
UINT16
EFIAPI
TdIoWrite16 (
  IN      UINTN   Port,
  IN      UINT16  Value
  )
{
  ASSERT (FALSE);
  return 0;
}
 
UINT32
EFIAPI
TdIoWrite32 (
  IN      UINTN   Port,
  IN      UINT32  Value
  )
{
  ASSERT (FALSE);
  return 0;
}
 
UINT8
EFIAPI
TdMmioRead8 (
  IN      UINTN  Address
  )
{
  ASSERT (FALSE);
  return 0;
}
 
UINT8
EFIAPI
TdMmioWrite8 (
  IN      UINTN  Address,
  IN      UINT8  Val
  )
{
  ASSERT (FALSE);
  return 0;
}
 
UINT16
EFIAPI
TdMmioRead16 (
  IN      UINTN  Address
  )
{
  ASSERT (FALSE);
  return 0;
}
 
UINT16
EFIAPI
TdMmioWrite16 (
  IN      UINTN   Address,
  IN      UINT16  Val
  )
{
  ASSERT (FALSE);
  return 0;
}
 
UINT32
EFIAPI
TdMmioRead32 (
  IN      UINTN  Address
  )
{
  ASSERT (FALSE);
  return 0;
}
 
UINT32
EFIAPI
TdMmioWrite32 (
  IN      UINTN   Address,
  IN      UINT32  Val
  )
{
  ASSERT (FALSE);
  return 0;
}
 
UINT64
EFIAPI
TdMmioRead64 (
  IN      UINTN  Address
  )
{
  ASSERT (FALSE);
  return 0;
}
 
UINT64
EFIAPI
TdMmioWrite64 (
  IN      UINTN   Address,
  IN      UINT64  Value
  )
{
  ASSERT (FALSE);
  return 0;
}
 
VOID
EFIAPI
TdIoReadFifo8 (
  IN      UINTN  Port,
  IN      UINTN  Count,
  OUT     VOID   *Buffer
  )
{
  ASSERT (FALSE);
}
 
VOID
EFIAPI
TdIoWriteFifo8 (
  IN      UINTN  Port,
  IN      UINTN  Count,
  IN      VOID   *Buffer
  )
{
  ASSERT (FALSE);
}
 
VOID
EFIAPI
TdIoReadFifo16 (
  IN      UINTN  Port,
  IN      UINTN  Count,
  OUT     VOID   *Buffer
  )
{
  ASSERT (FALSE);
}
 
VOID
EFIAPI
TdIoWriteFifo16 (
  IN      UINTN  Port,
  IN      UINTN  Count,
  IN      VOID   *Buffer
  )
{
  ASSERT (FALSE);
}
 
VOID
EFIAPI
TdIoReadFifo32 (
  IN      UINTN  Port,
  IN      UINTN  Count,
  OUT     VOID   *Buffer
  )
{
  ASSERT (FALSE);
}
 
VOID
EFIAPI
TdIoWriteFifo32 (
  IN      UINTN  Port,
  IN      UINTN  Count,
  IN      VOID   *Buffer
  )
{
  ASSERT (FALSE);
}