1 /*
2  * Copyright (C) 2022 Intel Corporation.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #include <asm/vm_config.h>
8 #include <vpci.h>
9 #include <asm/mmu.h>
10 #include <asm/page.h>
11 #include <vmcs9900.h>
12 #include <ivshmem_cfg.h>
13 #define INVALID_PCI_BASE 0U
14 struct acrn_vm_pci_dev_config sos_pci_devs[CONFIG_MAX_PCI_DEV_NUM] = {};
15