TdxLibNull.c

Go to the documentation of this file.

 
#include <Uefi/UefiBaseType.h>
#include <Library/TdxLib.h>
 
EFI_STATUS
EFIAPI
TdAcceptPages (
  IN UINT64  StartAddress,
  IN UINT64  NumberOfPages,
  IN UINT32  PageSize
  )
{
  return EFI_UNSUPPORTED;
}
 
EFI_STATUS
EFIAPI
TdExtendRtmr (
  IN  UINT32  *Data,
  IN  UINT32  DataLen,
  IN  UINT8   Index
  )
{
  return EFI_UNSUPPORTED;
}
 
UINT64
EFIAPI
TdSharedPageMask (
  VOID
  )
{
  return 0;
}
 
UINT32
EFIAPI
TdMaxVCpuNum (
  VOID
  )
{
  return 0;
}
 
UINT32
EFIAPI
TdVCpuNum (
  VOID
  )
{
  return 0;
}