+ gXenBusProtocolGuid = {0x3d3ca290, 0xb9a5, 0x11e3, {0xb7, 0x5d, 0xb8, 0xac, 0x6f, 0x7d, 0x65, 0xe6}}\r
+ gXenIoProtocolGuid = {0x6efac84f, 0x0ab0, 0x4747, {0x81, 0xbe, 0x85, 0x55, 0x62, 0x59, 0x04, 0x49}}\r
+\r
+[PcdsFixedAtBuild]\r
+ gUefiOvmfPkgTokenSpaceGuid.PcdOvmfPeiMemFvBase|0x0|UINT32|0\r
+ gUefiOvmfPkgTokenSpaceGuid.PcdOvmfPeiMemFvSize|0x0|UINT32|1\r
+ gUefiOvmfPkgTokenSpaceGuid.PcdOvmfDxeMemFvBase|0x0|UINT32|0x15\r
+ gUefiOvmfPkgTokenSpaceGuid.PcdOvmfDxeMemFvSize|0x0|UINT32|0x16\r
+\r
+ ## This flag is used to control the destination port for PlatformDebugLibIoPort\r
+ gUefiOvmfPkgTokenSpaceGuid.PcdDebugIoPort|0x402|UINT16|4\r
+\r
+ ## This flag determines the Power Management Base Address of choice, written\r
+ # to PIIX4 function 3 offset 0x40-0x43 bits [15:6].\r
+ gUefiOvmfPkgTokenSpaceGuid.PcdAcpiPmBaseAddress|0xB000|UINT16|5\r
+\r
+ ## When VirtioScsiDxe is instantiated for a HBA, the numbers of targets and\r
+ # LUNs are retrieved from the host during virtio-scsi setup.\r
+ # MdeModulePkg/Bus/Scsi/ScsiBusDxe then scans all MaxTarget * MaxLun\r
+ # possible devices. This can take extremely long, for example with\r
+ # MaxTarget=255 and MaxLun=16383. The *inclusive* constants below limit\r
+ # MaxTarget and MaxLun, independently, should the host report higher values,\r
+ # so that scanning the number of devices given by their product is still\r
+ # acceptably fast.\r
+ gUefiOvmfPkgTokenSpaceGuid.PcdVirtioScsiMaxTargetLimit|31|UINT16|6\r
+ gUefiOvmfPkgTokenSpaceGuid.PcdVirtioScsiMaxLunLimit|7|UINT32|7\r
+\r
+ ## The following setting controls how many megabytes we configure as TSEG on\r
+ # Q35, for SMRAM purposes. Permitted values are: 1, 2, 8. Other values cause\r
+ # undefined behavior.\r
+ #\r
+ # This PCD is only consulted if PcdSmmSmramRequire is TRUE (see below).\r
+ gUefiOvmfPkgTokenSpaceGuid.PcdQ35TsegMbytes|8|UINT8|0x20\r