/* SPDX-License-Identifier: GPL-2.0-only */ #include <commonlib/helpers.h> #include <soc/pci_devs.h> const unsigned int uart_devices[] = { PCH_DEVFN_UART0, PCH_DEVFN_UART1, PCH_DEVFN_UART2, }; const int uart_devices_size = ARRAY_SIZE(uart_devices);