Searched defs:device_idx (Results 1 – 6 of 6) sorted by relevance
59 unsigned int device_idx = fwk_id_get_element_idx(device_id); in optee_mbx_signal_smt_message() local83 unsigned int device_idx = fwk_id_get_element_idx(device_id); in optee_mbx_signal_msg_message() local
70 unsigned int device_idx; in mfismh_isr() local
69 unsigned int device_idx; in mhu_isr() local
70 unsigned int device_idx; in mhu_isr() local
78 unsigned int device_idx; in mhu3_isr() local
Completed in 13 milliseconds