IntelSiliconPkg/Include/Ppi/VtdInfo.h

   1 /** @file
   2   The definition for VTD information PPI.
   3
   4   This is a lightweight VTd information report in PEI phase.
   5
   6   Copyright (c) 2017, Intel Corporation. All rights reserved.<BR>
   7   SPDX-License-Identifier: BSD-2-Clause-Patent
   8
   9 **/
  10
  11 #ifndef __VTD_INFO_PPI_H__
  12 #define __VTD_INFO_PPI_H__
  13
  14 #include <IndustryStandard/DmaRemappingReportingTable.h>
  15
  16 #define EDKII_VTD_INFO_PPI_GUID \
  17     { \
  18       0x8a59fcb3, 0xf191, 0x400c, { 0x97, 0x67, 0x67, 0xaf, 0x2b, 0x25, 0x68, 0x4a } \
  19     }
  20
  21 //
  22 // VTD info PPI just use same data structure as DMAR table.
  23 //
  24 // The reported information must include what is needed in PEI phase, e.g.
  25 //   the VTd engine (such as DRHD)
  26 //   the reserved DMA address in PEI for eary graphic (such as RMRR for graphic UMA)
  27 //
  28 // The reported information can be and might be a subset of full DMAR table, e.g.
  29 //   if some data is not avaiable (such as ANDD),
  30 //   if some data is not needed (such as RMRR for legacy USB).
  31 //
  32 typedef EFI_ACPI_DMAR_HEADER EDKII_VTD_INFO_PPI;
  33
  34 extern EFI_GUID gEdkiiVTdInfoPpiGuid;
  35
  36 #endif
  37