OvmfPkg/PciHotPlugInitDxe/PciHotPlugInit.inf

   1 ## @file
   2 # This driver implements EFI_PCI_HOT_PLUG_INIT_PROTOCOL, providing the PCI bus
   3 # driver with resource padding information, for PCIe hotplug purposes.
   4 #
   5 # Copyright (C) 2016, Red Hat, Inc.
   6 #
   7 # SPDX-License-Identifier: BSD-2-Clause-Patent
   8 ##
   9
  10 [Defines]
  11   INF_VERSION                    = 0x00010005
  12   BASE_NAME                      = PciHotPlugInitDxe
  13   FILE_GUID                      = 11A6EDF6-A9BE-426D-A6CC-B22FE51D9224
  14   MODULE_TYPE                    = DXE_DRIVER
  15   VERSION_STRING                 = 1.0
  16   ENTRY_POINT                    = DriverInitialize
  17
  18 [Sources]
  19   PciHotPlugInit.c
  20
  21 [Packages]
  22   MdeModulePkg/MdeModulePkg.dec
  23   MdePkg/MdePkg.dec
  24   OvmfPkg/OvmfPkg.dec
  25
  26 [LibraryClasses]
  27   BaseLib
  28   BaseMemoryLib
  29   DebugLib
  30   DevicePathLib
  31   MemoryAllocationLib
  32   PciCapLib
  33   PciCapPciSegmentLib
  34   PciLib
  35   UefiBootServicesTableLib
  36   UefiDriverEntryPoint
  37
  38 [Protocols]
  39   gEfiPciHotPlugInitProtocolGuid ## ALWAYS_PRODUCES
  40
  41 [Pcd]
  42   gUefiOvmfPkgTokenSpaceGuid.PcdOvmfHostBridgePciDevId ## CONSUMES
  43
  44 [Depex]
  45   TRUE