2 # VMGEXIT Support Library.
4 # Copyright (C) 2020, Advanced Micro Devices, Inc. All rights reserved.<BR>
5 # SPDX-License-Identifier: BSD-2-Clause-Patent
10 INF_VERSION = 0x00010005
11 BASE_NAME = SecCcExitLib
12 FILE_GUID = dafff819-f86c-4cff-a70e-83161e5bcf9a
15 LIBRARY_CLASS = CcExitLib|SEC
18 # The following information is for reference only and not required by the build tools.
20 # VALID_ARCHITECTURES = X64
29 X64/TdVmcallCpuid.nasm
34 UefiCpuPkg/UefiCpuPkg.dec
45 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfSecGhcbBackupBase
46 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfSecGhcbBackupSize
47 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfCpuidBase
48 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfCpuidSize