Tim Wawrzynczak | d40a4c2 | 2021-02-25 13:14:49 -0700 | [diff] [blame] | 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 | |
Tim Wawrzynczak | 290979f | 2021-02-26 10:54:15 -0700 | [diff] [blame] | 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 | |
Felix Held | e549ee0 | 2024-02-12 22:28:17 +0100 | [diff] [blame^] | 17 | void pci_domain_fill_ssdt(const struct device *domain); |
| 18 | |
Tim Wawrzynczak | d40a4c2 | 2021-02-25 13:14:49 -0700 | [diff] [blame] | 19 | #endif /* ACPIGEN_PCI_H */ |