1 /* SPDX-License-Identifier: GPL-2.0-or-later */ 2 3 /* 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. 7 */ 8 9 #include <commonlib/helpers.h> 10 #include <device/pci_type.h> 11 #include <soc/pci_devs.h> 12 13 const unsigned int uart_devices[] = { 14 PCH_DEVFN_UART0, 15 #if CONFIG(SOC_INTEL_GEMINILAKE) 16 PCI_DEVFN_INVALID, 17 #else 18 PCH_DEVFN_UART1, 19 #endif 20 PCH_DEVFN_UART2, 21 }; 22 23 const int uart_devices_size = ARRAY_SIZE(uart_devices); 24