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 - 2018, Intel Corporation. All rights reserved.<BR>
8 # SPDX-License-Identifier: BSD-2-Clause-Patent
13 INF_VERSION = 0x00010005
14 BASE_NAME = IntelVTdDxe
15 MODULE_UNI_FILE = IntelVTdDxe.uni
16 FILE_GUID = 987555D6-595D-4CFA-B895-59B89368BD4D
17 MODULE_TYPE = DXE_DRIVER
19 ENTRY_POINT = IntelVTdInitialize
22 # The following information is for reference only and not required by the build tools.
24 # VALID_ARCHITECTURES = IA32 X64 EBC
41 MdeModulePkg/MdeModulePkg.dec
42 IntelSiliconPkg/IntelSiliconPkg.dec
47 UefiBootServicesTableLib
60 gEfiEventExitBootServicesGuid ## CONSUMES ## Event
61 ## CONSUMES ## SystemTable
64 ## CONSUMES ## SystemTable
69 gEdkiiIoMmuProtocolGuid ## PRODUCES
70 gEfiPciIoProtocolGuid ## CONSUMES
71 gEfiPciEnumerationCompleteProtocolGuid ## CONSUMES
72 gEdkiiPlatformVTdPolicyProtocolGuid ## SOMETIMES_CONSUMES
75 gIntelSiliconPkgTokenSpaceGuid.PcdVTdPolicyPropertyMask ## CONSUMES
76 gIntelSiliconPkgTokenSpaceGuid.PcdErrorCodeVTdError ## CONSUMES
79 gEfiPciRootBridgeIoProtocolGuid
81 [UserExtensions.TianoCore."ExtraFiles"]