Home
last modified time | relevance | path

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

/optee_os-3.20.0/core/lib/scmi-server/
A Dscmi_server.c35 int fwk_id = 0; in scmi_server_get_channel() local
37 fwk_id = scmi_get_device(channel_id); in scmi_server_get_channel()
38 if (fwk_id < 0) in scmi_server_get_channel()
42 *handle = fwk_id; in scmi_server_get_channel()
50 int fwk_id = 0; in scmi_server_smt_process_thread() local
52 res = scmi_server_get_channel(channel_id, &fwk_id); in scmi_server_smt_process_thread()
54 scmi_process_mbx_smt(fwk_id); in scmi_server_smt_process_thread()
64 int fwk_id = 0; in scmi_server_msg_process_thread() local
66 res = scmi_server_get_channel(channel_id, &fwk_id); in scmi_server_msg_process_thread()
68 scmi_process_mbx_msg(fwk_id, in_buf, in_sz, out_buf, out_sz); in scmi_server_msg_process_thread()

Completed in 1 milliseconds