#\r
gArmVirtTokenSpaceGuid.PcdDeviceTreeAllocationPadding|256|UINT32|0x00000002\r
\r
+ #\r
+ # Binary representation of the GUID that determines the terminal type. The\r
+ # size must be exactly 16 bytes. The default value corresponds to\r
+ # EFI_VT_100_GUID.\r
+ #\r
+ gArmVirtTokenSpaceGuid.PcdTerminalTypeGuidBuffer|{0x65, 0x60, 0xA6, 0xDF, 0x19, 0xB4, 0xD3, 0x11, 0x9A, 0x2D, 0x00, 0x90, 0x27, 0x3F, 0xC1, 0x4D}|VOID*|0x00000007\r
+\r
[PcdsDynamic, PcdsFixedAtBuild]\r
#\r
# ARM PSCI function invocations can be done either through hypervisor\r
\r
gArmVirtTokenSpaceGuid.PcdFwCfgSelectorAddress|0x0|UINT64|0x00000004\r
gArmVirtTokenSpaceGuid.PcdFwCfgDataAddress|0x0|UINT64|0x00000005\r
+ gArmVirtTokenSpaceGuid.PcdFwCfgDmaAddress|0x0|UINT64|0x00000009\r
+\r
+ #\r
+ # Supported GIC revision (2, 3, ...)\r
+ #\r
+ gArmVirtTokenSpaceGuid.PcdArmGicRevision|0x0|UINT32|0x00000008\r
\r
[PcdsFeatureFlag]\r
#\r