/* 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); | |
#endif /* ACPIGEN_PCI_H */ |