1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3 * Copyright (c) 2024, STMicroelectronics
4 */
5
6 #ifndef SCMI_SERVER_RESET_CONSUMER_H
7 #define SCMI_SERVER_RESET_CONSUMER_H
8
9 #include <scmi_agent_configuration.h>
10 #include <stdint.h>
11 #include <tee_api_types.h>
12
13 #ifdef CFG_SCMI_SERVER_RESET_CONSUMER
14 /*
15 * Initialize SCMI reset from reset consumer information from DT.
16 * Returns a TEE_Result compliant value
17 */
18 TEE_Result optee_scmi_server_init_resets(const void *fdt, int node,
19 struct scpfw_agent_config *agent_cfg,
20 struct scpfw_channel_config
21 *channel_cfg);
22 #else
23 static inline TEE_Result
optee_scmi_server_init_resets(const void * fdt __unused,int node __unused,struct scpfw_agent_config * agent_cfg __unused,struct scpfw_channel_config * channel_cfg __unused)24 optee_scmi_server_init_resets(const void *fdt __unused, int node __unused,
25 struct scpfw_agent_config *agent_cfg __unused,
26 struct scpfw_channel_config *channel_cfg __unused)
27 {
28 return TEE_SUCCESS;
29 }
30 #endif /* CFG_SCMI_SERVER_RESET_CONSUMER */
31 #endif /* SCMI_SERVER_RESET_CONSUMER_H */
32