1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #include <commonlib/helpers.h> 4 #include <soc/pci_devs.h> 5 6 const unsigned int uart_devices[] = { 7 PCI_DEVFN_UART0, 8 PCI_DEVFN_UART1, 9 PCI_DEVFN_UART2, 10 }; 11 12 const int uart_devices_size = ARRAY_SIZE(uart_devices); 13