mb/google/fatcat: config GPP_F23 as ISH gpio pin
[coreboot.git] / src / soc / intel / pantherlake / uart.c
blob9f549c5ae8c99d3f1ccb2cf4b10aa6c8f9c086bd
1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <commonlib/helpers.h>
4 #include <soc/pci_devs.h>
6 const unsigned int uart_devices[] = {
7 PCI_DEVFN_UART0,
8 PCI_DEVFN_UART1,
9 PCI_DEVFN_UART2,
12 const int uart_devices_size = ARRAY_SIZE(uart_devices);