1 /* SPDX-License-Identifier: GPL-2.0-or-later */
4 * The sole purpose of this driver is to avoid BAR to be changed during
5 * resource allocation. Since configuration space is just 32 bytes it
6 * shouldn't cause any fragmentation.
9 #include <commonlib/helpers.h>
10 #include <device/pci_type.h>
11 #include <soc/pci_devs.h>
13 const unsigned int uart_devices
[] = {
15 #if CONFIG(SOC_INTEL_GEMINILAKE)
23 const int uart_devices_size
= ARRAY_SIZE(uart_devices
);