Searched refs:fwk_id (Results 1 – 1 of 1) sorted by relevance
37 int fwk_id = 0; in scmi_server_get_channel() local39 fwk_id = scmi_get_device(channel_id); in scmi_server_get_channel()40 if (fwk_id < 0) in scmi_server_get_channel()44 *handle = fwk_id; in scmi_server_get_channel()52 int fwk_id = 0; in scmi_server_smt_process_thread() local54 res = scmi_server_get_channel(channel_id, &fwk_id); in scmi_server_smt_process_thread()56 scmi_process_mbx_smt(fwk_id); in scmi_server_smt_process_thread()66 int fwk_id = 0; in scmi_server_msg_process_thread() local68 res = scmi_server_get_channel(channel_id, &fwk_id); in scmi_server_msg_process_thread()70 scmi_process_mbx_msg(fwk_id, in_buf, in_sz, out_buf, out_sz); in scmi_server_msg_process_thread()