Home
last modified time | relevance | path

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

/SCP-firmware-master/module/optee/mbx/include/
A Dmod_optee_mbx.h43 fwk_id_t optee_mbx_get_device(unsigned int id);
/SCP-firmware-master/arch/none/optee/src/
A Darch_main.c56 device_id = optee_mbx_get_device(id); in scmi_get_device()
/SCP-firmware-master/module/optee/mbx/src/
A Dmod_optee_mbx.c110 fwk_id_t optee_mbx_get_device(unsigned int id) in optee_mbx_get_device() function

Completed in 5 milliseconds