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 = VmgExitLib
12 FILE_GUID = 0e923c25-13cd-430b-8714-ffe85652a97b
15 LIBRARY_CLASS = VmgExitLib|PEIM DXE_CORE DXE_DRIVER DXE_RUNTIME_DRIVER DXE_SMM_DRIVER UEFI_DRIVER
18 # The following information is for reference only and not required by the build tools.
20 # VALID_ARCHITECTURES = X64
27 PeiDxeVmgExitVcHandler.c
29 X64/TdVmcallCpuid.nasm
34 UefiCpuPkg/UefiCpuPkg.dec
44 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfCpuidBase
45 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfCpuidSize