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 #define EDKII_VTD_INFO_PPI_GUID \
22 0x8a59fcb3, 0xf191, 0x400c, { 0x97, 0x67, 0x67, 0xaf, 0x2b, 0x25, 0x68, 0x4a } \
25 typedef struct _EDKII_VTD_INFO_PPI EDKII_VTD_INFO_PPI
;
27 #define EDKII_VTD_INFO_PPI_REVISION 0x00010000
29 struct _EDKII_VTD_INFO_PPI
{
31 UINT8 HostAddressWidth
;
33 UINT32 VTdEngineCount
;
34 UINT64 VTdEngineAddress
[1];
37 extern EFI_GUID gEdkiiVTdInfoPpiGuid
;