path: root/src/arch/arm64/include/arch/pci_ops.h

/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */

#ifndef ARCH_ARM64_PCI_OPS_H
#define ARCH_ARM64_PCI_OPS_H

#include <device/pci_mmio_cfg.h>

#endif