TianoCore EDK2 master
Loading...
Searching...
No Matches
IntelTdxNull.c
Go to the documentation of this file.
1
10#include <Library/BaseLib.h>
11#include <Uefi/UefiBaseType.h>
12
30EFIAPI
32 IN UINT64 Leaf,
33 IN UINT64 Arg1,
34 IN UINT64 Arg2,
35 IN UINT64 Arg3,
36 IN OUT VOID *Results
37 )
38{
39 return EFI_UNSUPPORTED;
40}
41
58EFIAPI
60 IN UINT64 Leaf,
61 IN UINT64 Arg1,
62 IN UINT64 Arg2,
63 IN UINT64 Arg3,
64 IN UINT64 Arg4,
65 IN OUT VOID *Results
66 )
67{
68 return EFI_UNSUPPORTED;
69}
70
77BOOLEAN
78EFIAPI
80 )
81{
82 return FALSE;
83}
UINT64 UINTN
#define FALSE
Definition: Base.h:307
#define IN
Definition: Base.h:279
#define OUT
Definition: Base.h:284
UINTN EFIAPI TdCall(IN UINT64 Leaf, IN UINT64 Arg1, IN UINT64 Arg2, IN UINT64 Arg3, IN OUT VOID *Results)
Definition: IntelTdxNull.c:31
BOOLEAN EFIAPI TdIsEnabled()
Definition: IntelTdxNull.c:79
UINTN EFIAPI TdVmCall(IN UINT64 Leaf, IN UINT64 Arg1, IN UINT64 Arg2, IN UINT64 Arg3, IN UINT64 Arg4, IN OUT VOID *Results)
Definition: IntelTdxNull.c:59