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   This program and the accompanying materials
   8   are licensed and made available under the terms and conditions of the BSD License
   9   which accompanies this distribution.  The full text of the license may be found at
  10   http://opensource.org/licenses/bsd-license.php.
  11
  12   THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  13   WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  14
  15 **/
  16
  17 #ifndef __VTD_INFO_PPI_H__
  18 #define __VTD_INFO_PPI_H__
  19
  20 #include <IndustryStandard/DmaRemappingReportingTable.h>
  21
  22 #define EDKII_VTD_INFO_PPI_GUID \
  23     { \
  24       0x8a59fcb3, 0xf191, 0x400c, { 0x97, 0x67, 0x67, 0xaf, 0x2b, 0x25, 0x68, 0x4a } \
  25     }
  26
  27 //
  28 // VTD info PPI just use same data structure as DMAR table.
  29 //
  30 // The reported information must include what is needed in PEI phase, e.g.
  31 //   the VTd engine (such as DRHD)
  32 //   the reserved DMA address in PEI for eary graphic (such as RMRR for graphic UMA)
  33 //
  34 // The reported information can be and might be a subset of full DMAR table, e.g.
  35 //   if some data is not avaiable (such as ANDD),
  36 //   if some data is not needed (such as RMRR for legacy USB).
  37 //
  38 typedef EFI_ACPI_DMAR_HEADER EDKII_VTD_INFO_PPI;
  39
  40 extern EFI_GUID gEdkiiVTdInfoPpiGuid;
  41
  42 #endif
  43