4 # This module provides platform specific function to detect boot mode.
5 # Copyright (c) 2006 - 2019, Intel Corporation. All rights reserved.<BR>
6 # Copyright (c) 2019, Citrix Systems, Inc.
8 # SPDX-License-Identifier: BSD-2-Clause-Patent
13 INF_VERSION = 0x00010005
14 BASE_NAME = XenPlatformPei
15 FILE_GUID = f112a6ee-993a-4f0b-8295-e52029d9b4ba
18 ENTRY_POINT = InitializeXenPlatform
21 # The following information is for reference only and not required by the build tools.
23 # VALID_ARCHITECTURES = IA32 X64 EBC
40 MdeModulePkg/MdeModulePkg.dec
41 SecurityPkg/SecurityPkg.dec
42 UefiCpuPkg/UefiCpuPkg.dec
46 gEfiMemoryTypeInformationGuid
56 ResourcePublicationLib
64 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfPeiMemFvBase
65 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfPeiMemFvSize
66 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfDxeMemFvBase
67 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfDxeMemFvSize
68 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfLockBoxStorageBase
69 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfLockBoxStorageSize
70 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfHostBridgePciDevId
71 gUefiOvmfPkgTokenSpaceGuid.PcdPciIoBase
72 gUefiOvmfPkgTokenSpaceGuid.PcdPciIoSize
73 gUefiOvmfPkgTokenSpaceGuid.PcdPciMmio32Base
74 gUefiOvmfPkgTokenSpaceGuid.PcdPciMmio32Size
75 gUefiOvmfPkgTokenSpaceGuid.PcdPciMmio64Base
76 gUefiOvmfPkgTokenSpaceGuid.PcdPciMmio64Size
77 gUefiOvmfPkgTokenSpaceGuid.PcdQ35TsegMbytes
78 gEfiMdeModulePkgTokenSpaceGuid.PcdFlashNvStorageFtwSpareSize
79 gEfiMdeModulePkgTokenSpaceGuid.PcdEmuVariableNvStoreReserved
80 gEfiMdeModulePkgTokenSpaceGuid.PcdPciDisableBusEnumeration
81 gEfiMdeModulePkgTokenSpaceGuid.PcdDxeIplSwitchToLongMode
82 gEfiMdeModulePkgTokenSpaceGuid.PcdUse1GPageTable
83 gEfiMdeModulePkgTokenSpaceGuid.PcdPteMemoryEncryptionAddressOrMask
84 gEfiSecurityPkgTokenSpaceGuid.PcdOptionRomImageVerificationPolicy
85 gUefiCpuPkgTokenSpaceGuid.PcdCpuLocalApicBaseAddress
88 gEfiMdePkgTokenSpaceGuid.PcdPciExpressBaseAddress
91 gEfiPeiMasterBootModePpiGuid
92 gEfiPeiMpServicesPpiGuid