Searched refs:scmi_server_get_channel (Results 1 – 3 of 3) sorted by relevance
35 TEE_Result scmi_server_get_channel(unsigned int channel_id, int *handle) in scmi_server_get_channel() function54 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()
40 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
195 return scmi_server_get_channel(channel_id, NULL); in cmd_get_channel_handle()