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
30 X64/TdVmcallCpuid.nasm
35 UefiCpuPkg/UefiCpuPkg.dec
46 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfSecGhcbBackupBase
47 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfSecGhcbBackupSize
48 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfCpuidBase
49 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfCpuidSize