2 # This driver implements EFI_PCI_HOT_PLUG_INIT_PROTOCOL, providing the PCI bus
3 # driver with resource padding information, for PCIe hotplug purposes.
5 # Copyright (C) 2016, Red Hat, Inc.
7 # SPDX-License-Identifier: BSD-2-Clause-Patent
11 INF_VERSION = 0x00010005
12 BASE_NAME = PciHotPlugInitDxe
13 FILE_GUID = 11A6EDF6-A9BE-426D-A6CC-B22FE51D9224
14 MODULE_TYPE = DXE_DRIVER
16 ENTRY_POINT = DriverInitialize
22 MdeModulePkg/MdeModulePkg.dec
35 UefiBootServicesTableLib
39 gEfiPciHotPlugInitProtocolGuid ## ALWAYS_PRODUCES
42 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfHostBridgePciDevId ## CONSUMES