xref: /rk3399_ARM-atf/drivers/ti/common/pm/include/ti_host_idx_mapping.h (revision a28114d66a6d43db4accef5fd5d6dab6c059e584)
1*bc55e131SKamlesh Gurudasani /*
2*bc55e131SKamlesh Gurudasani  * Copyright (c) 2025-2026 Texas Instruments Incorporated - https://www.ti.com
3*bc55e131SKamlesh Gurudasani  *
4*bc55e131SKamlesh Gurudasani  * SPDX-License-Identifier: BSD-3-Clause
5*bc55e131SKamlesh Gurudasani  */
6*bc55e131SKamlesh Gurudasani 
7*bc55e131SKamlesh Gurudasani #ifndef TI_HOST_IDX_MAPPING_H
8*bc55e131SKamlesh Gurudasani #define TI_HOST_IDX_MAPPING_H
9*bc55e131SKamlesh Gurudasani 
10*bc55e131SKamlesh Gurudasani #include <stdint.h>
11*bc55e131SKamlesh Gurudasani 
12*bc55e131SKamlesh Gurudasani #define TI_HOST_IDX_NONE 255U
13*bc55e131SKamlesh Gurudasani 
14*bc55e131SKamlesh Gurudasani extern const uint8_t soc_host_indexes[];
15*bc55e131SKamlesh Gurudasani extern const uint8_t soc_host_indexes_count;
16*bc55e131SKamlesh Gurudasani 
ti_host_idx_lookup(uint8_t host_id)17*bc55e131SKamlesh Gurudasani static inline uint8_t ti_host_idx_lookup(uint8_t host_id)
18*bc55e131SKamlesh Gurudasani {
19*bc55e131SKamlesh Gurudasani 	return (host_id < soc_host_indexes_count) ? soc_host_indexes[host_id] : TI_HOST_IDX_NONE;
20*bc55e131SKamlesh Gurudasani }
21*bc55e131SKamlesh Gurudasani 
22*bc55e131SKamlesh Gurudasani #endif /* TI_HOST_IDX_MAPPING_H */
23