3 # Driver provides the IOMMU protcol support for PciHostBridgeIo and others
6 # Copyright (c) 2017, AMD Inc. All rights reserved.<BR>
8 # This program and the accompanying materials are licensed and made available
9 # under the terms and conditions of the BSD License which accompanies this
10 # 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
22 FILE_GUID = 8657015b-ea43-440d-949a-af3be365c0fc
23 MODULE_TYPE = DXE_DRIVER
25 ENTRY_POINT = IoMmuDxeEntryPoint
34 MdeModulePkg/MdeModulePkg.dec
43 UefiBootServicesTableLib
47 gEdkiiIoMmuProtocolGuid ## SOMETIME_PRODUCES
48 gIoMmuAbsentProtocolGuid ## SOMETIME_PRODUCES