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