/*
 * Copyright (c) 2025-2026 Texas Instruments Incorporated - https://www.ti.com
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */
#ifndef TI_HOSTS_H
#define TI_HOSTS_H

/* TIFS (Trusted Firmware) host ID */
#define TI_HOST_ID_TIFS (0U)

/* Number of host IDs supported by the system */
#define TI_HOST_ID_CNT (16U)

#endif /* TI_HOSTS_H */