Searched refs:u16_idx (Results 1 – 1 of 1) sorted by relevance
1042 int u16_idx; in ffa_notification_info_get() local1048 u16_idx = list_idx_to_u16_idx(ids_processed, in ffa_notification_info_get()1050 part_id = packed_id_list[u16_idx]; in ffa_notification_info_get()1063 u16_idx = list_idx_to_u16_idx(ids_processed, in ffa_notification_info_get()1065 vcpu_id = packed_id_list[u16_idx]; in ffa_notification_info_get()