]>
Commit | Line | Data |
---|---|---|
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 | #include <IndustryStandard/DmaRemappingReportingTable.h>\r | |
21 | \r | |
22 | #define EDKII_VTD_INFO_PPI_GUID \\r | |
23 | { \\r | |
24 | 0x8a59fcb3, 0xf191, 0x400c, { 0x97, 0x67, 0x67, 0xaf, 0x2b, 0x25, 0x68, 0x4a } \\r | |
25 | }\r | |
26 | \r | |
27 | //\r | |
28 | // VTD info PPI just use same data structure as DMAR table.\r | |
29 | //\r | |
30 | // The reported information must include what is needed in PEI phase, e.g.\r | |
31 | // the VTd engine (such as DRHD)\r | |
32 | // the reserved DMA address in PEI for eary graphic (such as RMRR for graphic UMA)\r | |
33 | //\r | |
34 | // The reported information can be and might be a subset of full DMAR table, e.g.\r | |
35 | // if some data is not avaiable (such as ANDD),\r | |
36 | // if some data is not needed (such as RMRR for legacy USB).\r | |
37 | //\r | |
38 | typedef EFI_ACPI_DMAR_HEADER EDKII_VTD_INFO_PPI;\r | |
39 | \r | |
40 | extern EFI_GUID gEdkiiVTdInfoPpiGuid;\r | |
41 | \r | |
42 | #endif\r | |
43 | \r |