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
65 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfPeiMemFvBase
66 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfPeiMemFvSize
67 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfDxeMemFvBase
68 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfDxeMemFvSize
69 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfLockBoxStorageBase
70 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfLockBoxStorageSize
71 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfHostBridgePciDevId
72 gUefiOvmfPkgTokenSpaceGuid.PcdPciIoBase
73 gUefiOvmfPkgTokenSpaceGuid.PcdPciIoSize
74 gUefiOvmfPkgTokenSpaceGuid.PcdPciMmio32Base
75 gUefiOvmfPkgTokenSpaceGuid.PcdPciMmio32Size
76 gUefiOvmfPkgTokenSpaceGuid.PcdPciMmio64Base
77 gUefiOvmfPkgTokenSpaceGuid.PcdPciMmio64Size
78 gUefiOvmfPkgTokenSpaceGuid.PcdQ35TsegMbytes
79 gEfiMdeModulePkgTokenSpaceGuid.PcdFlashNvStorageFtwSpareSize
80 gEfiMdeModulePkgTokenSpaceGuid.PcdEmuVariableNvStoreReserved
81 gEfiMdeModulePkgTokenSpaceGuid.PcdPciDisableBusEnumeration
82 gEfiMdeModulePkgTokenSpaceGuid.PcdDxeIplSwitchToLongMode
83 gEfiMdeModulePkgTokenSpaceGuid.PcdUse1GPageTable
84 gEfiMdeModulePkgTokenSpaceGuid.PcdPteMemoryEncryptionAddressOrMask
85 gEfiSecurityPkgTokenSpaceGuid.PcdOptionRomImageVerificationPolicy
86 gUefiCpuPkgTokenSpaceGuid.PcdCpuLocalApicBaseAddress
88 gUefiOvmfPkgTokenSpaceGuid.PcdXenPvhStartOfDayStructPtr
89 gUefiOvmfPkgTokenSpaceGuid.PcdXenPvhStartOfDayStructPtrSize
92 gEfiMdePkgTokenSpaceGuid.PcdPciExpressBaseAddress
95 gEfiPeiMasterBootModePpiGuid
96 gEfiPeiMpServicesPpiGuid