IntelSiliconPkg/include: Add VTD_INFO PPI.

This VTD_INFO_PPI is to provide VTD information in PEI.
As such, we can have a generic VTd driver.

It is a lightweight version DMAR table, but it does
not contain PCI device information.

Cc: Star Zeng <star.zeng@intel.com>
Contributed-under: TianoCore Contribution Agreement 1.1
Signed-off-by: Jiewen Yao <jiewen.yao@intel.com>
Reviewed-by: Star Zeng <star.zeng@intel.com>

diff --git a/IntelSiliconPkg/Include/Ppi/VtdInfo.h b/IntelSiliconPkg/Include/Ppi/VtdInfo.h
new file mode 100644 (file)
index 0000000..e8be63f
--- /dev/null
+++ b/IntelSiliconPkg/Include/Ppi/VtdInfo.h
@@ -0,0 +1,40 @@
+/** @file\r
+  The definition for VTD information PPI.\r
+\r
+  This is a lightweight VTd information report in PEI phase.\r
+\r
+  Copyright (c) 2017, Intel Corporation. All rights reserved.<BR>\r
+  This program and the accompanying materials\r
+  are licensed and made available under the terms and conditions of the BSD License\r
+  which accompanies this distribution.  The full text of the license may be found at\r
+  http://opensource.org/licenses/bsd-license.php.\r
+\r
+  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
+  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+\r
+**/\r
+\r
+#ifndef __VTD_INFO_PPI_H__\r
+#define __VTD_INFO_PPI_H__\r
+\r
+#define EDKII_VTD_INFO_PPI_GUID \\r
+    { \\r
+      0x8a59fcb3, 0xf191, 0x400c, { 0x97, 0x67, 0x67, 0xaf, 0x2b, 0x25, 0x68, 0x4a } \\r
+    }\r
+\r
+typedef struct _EDKII_VTD_INFO_PPI  EDKII_VTD_INFO_PPI;\r
+\r
+#define EDKII_VTD_INFO_PPI_REVISION 0x00010000\r
+\r
+struct _EDKII_VTD_INFO_PPI {\r
+  UINT64                                  Revision;\r
+  UINT8                                   HostAddressWidth;\r
+  UINT8                                   Reserved[3];\r
+  UINT32                                  VTdEngineCount;\r
+  UINT64                                  VTdEngineAddress[1];\r
+};\r
+\r
+extern EFI_GUID gEdkiiVTdInfoPpiGuid;\r
+\r
+#endif\r
+\r