TdxLib.h

Go to the documentation of this file.

 
#ifndef TDX_LIB_H_
#define TDX_LIB_H_
 
EFI_STATUS
EFIAPI
TdAcceptPages (
  IN UINT64  StartAddress,
  IN UINT64  NumberOfPages,
  IN UINT32  PageSize
  );
 
EFI_STATUS
EFIAPI
TdExtendRtmr (
  IN  UINT32  *Data,
  IN  UINT32  DataLen,
  IN  UINT8   Index
  );
 
UINT64
EFIAPI
TdSharedPageMask (
  VOID
  );
 
UINT32
EFIAPI
TdMaxVCpuNum (
  VOID
  );
 
UINT32
EFIAPI
TdVCpuNum (
  VOID
  );
 
#endif