Searched refs:optee_mbx_get_device (Results 1 – 3 of 3) sorted by relevance
43 fwk_id_t optee_mbx_get_device(unsigned int id);
56 device_id = optee_mbx_get_device(id); in scmi_get_device()
110 fwk_id_t optee_mbx_get_device(unsigned int id) in optee_mbx_get_device() function
Completed in 5 milliseconds