2 # Intel VTd DXE Driver.
4 # This driver initializes VTd engine based upon DMAR ACPI tables
5 # and provide DMA protection to PCI or ACPI device.
7 # Copyright (c) 2017, Intel Corporation. All rights reserved.<BR>
8 # This program and the accompanying materials
9 # are licensed and made available under the terms and conditions of the BSD License
10 # which accompanies this distribution. The full text of the license may be found at
11 # http://opensource.org/licenses/bsd-license.php
13 # THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
14 # WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
19 INF_VERSION = 0x00010005
20 BASE_NAME = IntelVTdDxe
21 MODULE_UNI_FILE = IntelVTdDxe.uni
22 FILE_GUID = 987555D6-595D-4CFA-B895-59B89368BD4D
23 MODULE_TYPE = DXE_DRIVER
25 ENTRY_POINT = IntelVTdInitialize
28 # The following information is for reference only and not required by the build tools.
30 # VALID_ARCHITECTURES = IA32 X64 IPF EBC
47 MdeModulePkg/MdeModulePkg.dec
48 IntelSiliconPkg/IntelSiliconPkg.dec
53 UefiBootServicesTableLib
65 gEfiEventExitBootServicesGuid ## CONSUMES ## Event
66 ## CONSUMES ## SystemTable
69 ## CONSUMES ## SystemTable
74 gEdkiiIoMmuProtocolGuid ## PRODUCES
75 gEfiPciIoProtocolGuid ## CONSUMES
76 gEfiPciEnumerationCompleteProtocolGuid ## CONSUMES
77 gEdkiiPlatformVTdPolicyProtocolGuid ## SOMETIMES_CONSUMES
80 gIntelSiliconPkgTokenSpaceGuid.PcdVTdPolicyPropertyMask ## CONSUMES
83 gEfiPciRootBridgeIoProtocolGuid
85 [UserExtensions.TianoCore."ExtraFiles"]