+ <PcdBuildDefinition>
+ <PcdData ItemType="FIXED_AT_BUILD">
+ <C_Name>PcdIoBlockBaseAddressForIpf</C_Name>
+ <Token>0x0000000c</Token>
+ <TokenSpaceGuidCName>gEfiMdePkgTokenSpaceGuid</TokenSpaceGuidCName>
+ <DatumType>UINT64</DatumType>
+ <MaxDatumSize>8</MaxDatumSize>
+ <Value>0x0ffffc000000</Value>
+ </PcdData>
+ </PcdBuildDefinition>