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
9 # are licensed and made available under the terms and conditions of the BSD
10 # License which accompanies this distribution. The full text of the license may
11 # be found at 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.
21 FILE_GUID = 8657015b-ea43-440d-949a-af3be365c0fc
22 MODULE_TYPE = DXE_DRIVER
24 ENTRY_POINT = IoMmuDxeEntryPoint
32 MdeModulePkg/MdeModulePkg.dec
39 UefiBootServicesTableLib
45 gEdkiiIoMmuProtocolGuid ## SOMETIME_PRODUCES
46 gIoMmuAbsentProtocolGuid ## SOMETIME_PRODUCES