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

Functions
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)

Detailed Description

Null stub of TdxLib

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

Definition in file TdxLibNull.c.

Function Documentation

◆ TdAcceptPages()

EFI_STATUS EFIAPI TdAcceptPages	(	IN UINT64	StartAddress,
		IN UINT64	NumberOfPages,
		IN UINT32	PageSize
	)

This function accepts a pending private page, and initialize the page to all-0 using the TD ephemeral private key.

Parameters

[in]	StartAddress	Guest physical address of the private page to accept.
[in]	NumberOfPages	Number of the pages to be accepted.
[in]	PageSize	GPA page size. Accept 1G/2M/4K page size.

Returns: EFI_SUCCESS

Definition at line 26 of file TdxLibNull.c.

◆ TdExtendRtmr()

EFI_STATUS EFIAPI TdExtendRtmr	(	IN UINT32 *	Data,
		IN UINT32	DataLen,
		IN UINT8	Index
	)

This function extends one of the RTMR measurement register in TDCS with the provided extension data in memory. RTMR extending supports SHA384 which length is 48 bytes.

Parameters

[in]	Data	Point to the data to be extended
[in]	DataLen	Length of the data. Must be 48
[in]	Index	RTMR index

Returns: EFI_SUCCESS; EFI_INVALID_PARAMETER; EFI_DEVICE_ERROR

Definition at line 51 of file TdxLibNull.c.

◆ TdMaxVCpuNum()

UINT32 EFIAPI TdMaxVCpuNum ( VOID )

This function gets the maximum number of Virtual CPUs that are usable for Td Guest.

Returns: maximum Virtual CPUs number

Definition at line 86 of file TdxLibNull.c.

◆ TdSharedPageMask()

UINT64 EFIAPI TdSharedPageMask ( VOID )

This function gets the Td guest shared page mask.

The guest indicates if a page is shared using the Guest Physical Address (GPA) Shared (S) bit. If the GPA Width(GPAW) is 48, the S-bit is bit-47. If the GPAW is 52, the S-bit is bit-51.

Returns: Shared page bit mask

Definition at line 71 of file TdxLibNull.c.

◆ TdVCpuNum()

UINT32 EFIAPI TdVCpuNum ( VOID )

This function gets the number of Virtual CPUs that are usable for Td Guest.

Returns: Virtual CPUs number

Definition at line 101 of file TdxLibNull.c.