Searched refs:ids_processed (Results 1 – 1 of 1) sorted by relevance
986 int idx, list, max_ids, lists_cnt, ids_processed, ids_count[MAX_IDS_64]; in ffa_notification_info_get() local1005 ids_processed = 0; in ffa_notification_info_get()1022 if (ids_processed >= max_ids - 1) in ffa_notification_info_get()1025 part_id = packed_id_list[ids_processed++]; in ffa_notification_info_get()1034 if (ids_processed >= max_ids - 1) in ffa_notification_info_get()1037 vcpu_id = packed_id_list[ids_processed++]; in ffa_notification_info_get()