/* SPDX-License-Identifier: GPL-2.0-only */

#include <soc/pci_devs.h>
#include <device/pci_ids.h>
#include <device/pci_ops.h>
#include <soc/soc_info.h>
#include <intelblocks/tcss.h>
#include <console/console.h>

uint8_t get_max_usb20_port(void)
{
	return CONFIG_SOC_INTEL_USB2_DEV_MAX;
}

uint8_t get_max_usb30_port(void)
{
	return CONFIG_SOC_INTEL_USB3_DEV_MAX;
}

uint8_t get_max_tcss_port(void)
{
	return MAX_TYPE_C_PORTS;
}

uint8_t get_max_tbt_pcie_port(void)
{
	return CONFIG_MAX_TBT_ROOT_PORTS;
}

uint8_t get_max_pcie_port(void)
{
	return CONFIG_MAX_ROOT_PORTS;
}

uint8_t get_max_pcie_clock(void)
{
	return CONFIG_MAX_PCIE_CLOCK_SRC;
}

uint8_t get_max_uart_port(void)
{
	return CONFIG_SOC_INTEL_UART_DEV_MAX;
}

uint8_t get_max_i2c_port(void)
{
	return CONFIG_SOC_INTEL_I2C_DEV_MAX;
}

uint8_t get_max_gspi_port(void)
{
	return CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI_MAX;
}