#include <Library/BaseLib.h>
#include <Uefi/UefiBaseType.h>

Functions
UINTN EFIAPI	TdCall (IN UINT64 Leaf, IN UINT64 Arg1, IN UINT64 Arg2, IN UINT64 Arg3, IN OUT VOID *Results)

UINTN EFIAPI	TdVmCall (IN UINT64 Leaf, IN UINT64 Arg1, IN UINT64 Arg2, IN UINT64 Arg3, IN UINT64 Arg4, IN OUT VOID *Results)

BOOLEAN EFIAPI	TdIsEnabled ()

Detailed Description

Null stub of TdxLib

Copyright (c) 2021, Intel Corporation. All rights reserved.
SPDX-License-Identifier: BSD-2-Clause-Patent

Definition in file IntelTdxNull.c.

Function Documentation

◆ TdCall()

UINTN EFIAPI TdCall	(	IN UINT64	Leaf,
		IN UINT64	Arg1,
		IN UINT64	Arg2,
		IN UINT64	Arg3,
		IN OUT VOID *	Results
	)

The TDCALL instruction causes a VM exit to the Intel TDX module. It is used to call guest-side Intel TDX functions, either local or a TD exit to the host VMM, as selected by Leaf. Leaf functions are described at <https://software.intel.com/content/ www/us/en/develop/articles/intel-trust-domain-extensions.html>

Parameters

[in]	Leaf	Leaf number of TDCALL instruction
[in]	Arg1	Arg1
[in]	Arg2	Arg2
[in]	Arg3	Arg3
[in,out]	Results	Returned result of the Leaf function

Returns: EFI_SUCCESS; Other See individual leaf functions

Definition at line 31 of file IntelTdxNull.c.

◆ TdIsEnabled()

BOOLEAN EFIAPI TdIsEnabled ( )

Probe if TD is enabled.

Returns: TRUE TD is enabled.; FALSE TD is not enabled.

Definition at line 79 of file IntelTdxNull.c.

◆ TdVmCall()

UINTN EFIAPI TdVmCall	(	IN UINT64	Leaf,
		IN UINT64	Arg1,
		IN UINT64	Arg2,
		IN UINT64	Arg3,
		IN UINT64	Arg4,
		IN OUT VOID *	Results
	)

TDVMALL is a leaf function 0 for TDCALL. It helps invoke services from the host VMM to pass/receive information.