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 
38