PciHotPlugInit.inf 1.1 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546
  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. [Defines]
  10. INF_VERSION = 0x00010005
  11. BASE_NAME = PciHotPlugInitDxe
  12. FILE_GUID = 11A6EDF6-A9BE-426D-A6CC-B22FE51D9224
  13. MODULE_TYPE = DXE_DRIVER
  14. VERSION_STRING = 1.0
  15. ENTRY_POINT = DriverInitialize
  16. [Sources]
  17. PciHotPlugInit.c
  18. [Packages]
  19. MdeModulePkg/MdeModulePkg.dec
  20. MdePkg/MdePkg.dec
  21. OvmfPkg/OvmfPkg.dec
  22. [LibraryClasses]
  23. BaseLib
  24. BaseMemoryLib
  25. DebugLib
  26. DevicePathLib
  27. MemoryAllocationLib
  28. PciCapLib
  29. PciCapPciSegmentLib
  30. PciLib
  31. UefiBootServicesTableLib
  32. UefiDriverEntryPoint
  33. [Protocols]
  34. gEfiPciHotPlugInitProtocolGuid ## ALWAYS_PRODUCES
  35. [Pcd]
  36. gUefiOvmfPkgTokenSpaceGuid.PcdOvmfHostBridgePciDevId ## CONSUMES
  37. gUefiOvmfPkgTokenSpaceGuid.PcdPciMmio64Size ## CONSUMES
  38. [Depex]
  39. TRUE