IntelSiliconPkg/Include/Ppi/VtdInfo.h

   1 /** @file\r
   2   The definition for VTD information PPI.\r
   3 \r
   4   This is a lightweight VTd information report in PEI phase.\r
   5 \r
   6   Copyright (c) 2017, Intel Corporation. All rights reserved.<BR>\r
   7   This program and the accompanying materials\r
   8   are licensed and made available under the terms and conditions of the BSD License\r
   9   which accompanies this distribution.  The full text of the license may be found at\r
  10   http://opensource.org/licenses/bsd-license.php.\r
  11 \r
  12   THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
  13   WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
  14 \r
  15 **/\r
  16 \r
  17 #ifndef __VTD_INFO_PPI_H__\r
  18 #define __VTD_INFO_PPI_H__\r
  19 \r
  20 #define EDKII_VTD_INFO_PPI_GUID \\r
  21     { \\r
  22       0x8a59fcb3, 0xf191, 0x400c, { 0x97, 0x67, 0x67, 0xaf, 0x2b, 0x25, 0x68, 0x4a } \\r
  23     }\r
  24 \r
  25 typedef struct _EDKII_VTD_INFO_PPI  EDKII_VTD_INFO_PPI;\r
  26 \r
  27 #define EDKII_VTD_INFO_PPI_REVISION 0x00010000\r
  28 \r
  29 struct _EDKII_VTD_INFO_PPI {\r
  30   UINT64                                  Revision;\r
  31   UINT8                                   HostAddressWidth;\r
  32   UINT8                                   Reserved[3];\r
  33   UINT32                                  VTdEngineCount;\r
  34   UINT64                                  VTdEngineAddress[1];\r
  35 };\r
  36 \r
  37 extern EFI_GUID gEdkiiVTdInfoPpiGuid;\r
  38 \r
  39 #endif\r
  40 \r