/src/VBox/Devices/EFI/Firmware/OvmfPkg/PciHotPlugInitDxe/

• ../
• PciHotPlugInit.c
• PciHotPlugInit.inf