1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <soc/pci_devs.h>
4 #include <device/pci_ids.h>
5 #include <device/pci_ops.h>
6 #include <soc/soc_info.h>
7 #include <intelblocks/tcss.h>
9 uint8_t get_max_usb20_port(void)
11 return CONFIG_SOC_INTEL_USB2_DEV_MAX
;
14 uint8_t get_max_usb30_port(void)
16 return CONFIG_SOC_INTEL_USB3_DEV_MAX
;
19 uint8_t get_max_tcss_port(void)
21 return MAX_TYPE_C_PORTS
;
24 uint8_t get_max_tbt_pcie_port(void)
26 return CONFIG_MAX_TBT_ROOT_PORTS
;
29 uint8_t get_max_pcie_port(void)
31 return CONFIG_MAX_ROOT_PORTS
;
34 uint8_t get_max_pcie_clock(void)
36 return CONFIG_MAX_PCIE_CLOCK_SRC
;
39 uint8_t get_max_uart_port(void)
41 return CONFIG_SOC_INTEL_UART_DEV_MAX
;
44 uint8_t get_max_i2c_port(void)
46 return CONFIG_SOC_INTEL_I2C_DEV_MAX
;
49 uint8_t get_max_gspi_port(void)
51 return CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI_MAX
;