2 The definition for VTD information PPI.
4 This is a lightweight VTd information report in PEI phase.
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.
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.
17 #ifndef __VTD_INFO_PPI_H__
18 #define __VTD_INFO_PPI_H__
20 #include <IndustryStandard/DmaRemappingReportingTable.h>
22 #define EDKII_VTD_INFO_PPI_GUID \
24 0x8a59fcb3, 0xf191, 0x400c, { 0x97, 0x67, 0x67, 0xaf, 0x2b, 0x25, 0x68, 0x4a } \
28 // VTD info PPI just use same data structure as DMAR table.
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)
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).
38 typedef EFI_ACPI_DMAR_HEADER EDKII_VTD_INFO_PPI
;
40 extern EFI_GUID gEdkiiVTdInfoPpiGuid
;