/** @file | |
Null stub of TdxLib | |
Copyright (c) 2021, Intel Corporation. All rights reserved.<BR> | |
SPDX-License-Identifier: BSD-2-Clause-Patent | |
**/ | |
#include <Uefi/UefiBaseType.h> | |
#include <Library/TdxLib.h> | |
/** | |
This function accepts a pending private page, and initialize the page to | |
all-0 using the TD ephemeral private key. | |
@param[in] StartAddress Guest physical address of the private page | |
to accept. | |
@param[in] NumberOfPages Number of the pages to be accepted. | |
@param[in] PageSize GPA page size. Accept 1G/2M/4K page size. | |
@return EFI_SUCCESS | |
**/ | |
EFI_STATUS | |
EFIAPI | |
TdAcceptPages ( | |
IN UINT64 StartAddress, | |
IN UINT64 NumberOfPages, | |
IN UINT32 PageSize | |
) | |
{ | |
return EFI_UNSUPPORTED; | |
} | |
/** | |
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. | |
@param[in] Data Point to the data to be extended | |
@param[in] DataLen Length of the data. Must be 48 | |
@param[in] Index RTMR index | |
@return EFI_SUCCESS | |
@return EFI_INVALID_PARAMETER | |
@return EFI_DEVICE_ERROR | |
**/ | |
EFI_STATUS | |
EFIAPI | |
TdExtendRtmr ( | |
IN UINT32 *Data, | |
IN UINT32 DataLen, | |
IN UINT8 Index | |
) | |
{ | |
return EFI_UNSUPPORTED; | |
} | |
/** | |
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. | |
@return Shared page bit mask | |
**/ | |
UINT64 | |
EFIAPI | |
TdSharedPageMask ( | |
VOID | |
) | |
{ | |
return 0; | |
} | |
/** | |
This function gets the maximum number of Virtual CPUs that are usable for | |
Td Guest. | |
@return maximum Virtual CPUs number | |
**/ | |
UINT32 | |
EFIAPI | |
TdMaxVCpuNum ( | |
VOID | |
) | |
{ | |
return 0; | |
} | |
/** | |
This function gets the number of Virtual CPUs that are usable for Td | |
Guest. | |
@return Virtual CPUs number | |
**/ | |
UINT32 | |
EFIAPI | |
TdVCpuNum ( | |
VOID | |
) | |
{ | |
return 0; | |
} |