[Guids]\r
## GUID for Package token space\r
# {A9F8D54E-1107-4F0A-ADD0-4587E7A4A735}\r
- gIntelSiliconPkgTokenSpaceGuid = { 0xa9f8d54e, 0x1107, 0x4f0a, { 0xad, 0xd0, 0x45, 0x87, 0xe7, 0xa4, 0xa7, 0x35 } };\r
+ gIntelSiliconPkgTokenSpaceGuid = { 0xa9f8d54e, 0x1107, 0x4f0a, { 0xad, 0xd0, 0x45, 0x87, 0xe7, 0xa4, 0xa7, 0x35 } }\r
\r
## HOB GUID to publish SMBIOS data records from PEI phase\r
# HOB data format is same as SMBIOS records defined in SMBIOS spec or OEM defined types\r
# Generic DXE Library / Driver can locate HOB(s) and add SMBIOS records into SMBIOS table\r
gIntelSmbiosDataHobGuid = { 0x798e722e, 0x15b2, 0x4e13, { 0x8a, 0xe9, 0x6b, 0xa3, 0x0f, 0xf7, 0xf1, 0x67 }}\r
\r
+[Protocols]\r
+ gEdkiiPlatformVTdPolicyProtocolGuid = { 0x3d17e448, 0x466, 0x4e20, { 0x99, 0x9f, 0xb2, 0xe1, 0x34, 0x88, 0xee, 0x22 }}\r
+\r
[PcdsFixedAtBuild, PcdsPatchableInModule, PcdsDynamic, PcdsDynamicEx]\r
## This is the GUID of the FFS which contains the Graphics Video BIOS Table (VBT)\r
# The VBT content is stored as a RAW section which is consumed by GOP PEI/UEFI driver.\r