gEfiIntelFrameworkModulePkgTokenSpaceGuid.PcdShellFile|{ 0x83, 0xA5, 0x04, 0x7C, 0x3E, 0x9E, 0x1C, 0x4F, 0xAD, 0x65, 0xE0, 0x52, 0x68, 0xD0, 0xB4, 0xD1 }\r
!endif\r
\r
+ #\r
+ # The maximum physical I/O addressability of the processor, set with\r
+ # BuildCpuHob().\r
+ #\r
+ gEmbeddedTokenSpaceGuid.PcdPrePiCpuIoSize|16\r
+\r
[PcdsDynamicDefault.common]\r
## If TRUE, OvmfPkg/AcpiPlatformDxe will not wait for PCI\r
# enumeration to complete before installing ACPI tables.\r