/* SPDX-License-Identifier: GPL-2.0-only */

#ifndef ARCH_I386_PCI_OPS_H
#define ARCH_I386_PCI_OPS_H

#include <arch/pci_io_cfg.h>
#include <device/pci_mmio_cfg.h>

#endif /* ARCH_I386_PCI_OPS_H */