Home
last modified time | relevance | path

Searched refs:scmi_server_get_channel (Results 1 – 3 of 3) sorted by relevance

/optee_os/core/lib/scmi-server/
H A Dscmi_server.c35 TEE_Result scmi_server_get_channel(unsigned int channel_id, int *handle) in scmi_server_get_channel() function
54 res = scmi_server_get_channel(channel_id, &fwk_id); in scmi_server_smt_process_thread()
68 res = scmi_server_get_channel(channel_id, &fwk_id); in scmi_server_msg_process_thread()
/optee_os/core/arch/arm/include/scmi/
H A Dscmi_server.h40 TEE_Result scmi_server_get_channel(unsigned int channel_id, int *handle);
62 static inline TEE_Result scmi_server_get_channel(unsigned int id __unused, in scmi_server_get_channel() function
/optee_os/core/pta/
H A Dscmi.c195 return scmi_server_get_channel(channel_id, NULL); in cmd_get_channel_handle()