1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #ifndef ACPIGEN_PCI_H 4 #define ACPIGEN_PCI_H 5 6 #include <device/device.h> 7 #include <device/pci_def.h> 8 #include <device/pci_type.h> 9 10 void acpigen_write_ADR_pci_devfn(pci_devfn_t devfn); 11 void acpigen_write_ADR_pci_device(const struct device *dev); 12 13 void acpigen_write_PRT_GSI_entry(unsigned int pci_dev, unsigned int acpi_pin, unsigned int gsi); 14 void acpigen_write_PRT_source_entry(unsigned int pci_dev, unsigned int acpi_pin, 15 const char *source_path, unsigned int index); 16 17 void pci_domain_fill_ssdt(const struct device *domain); 18 19 #endif /* ACPIGEN_PCI_H */ 20