src/include/acpi/acpigen_pci.h

   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 */