Searched refs:shared_dev_num (Results 1 – 1 of 1) sorted by relevance
24 int shared_dev_num; member44 if (group->shared_dev_num >= MAX_DEV_PER_GSI) { in update_gsi_sharing_info()61 group->shared_dev_num = 0; in update_gsi_sharing_info()67 group->dev[group->shared_dev_num].dev_name = dev_name; in update_gsi_sharing_info()68 group->dev[group->shared_dev_num].assigned_to_this_vm = 0; in update_gsi_sharing_info()69 group->shared_dev_num++; in update_gsi_sharing_info()149 if (group->shared_dev_num < 2) { in create_gsi_sharing_groups()170 for (i = 0; i < (group->shared_dev_num); i++) { in update_pt_info()204 for (i = 1; i < (group->shared_dev_num); i++) { in check_gsi_sharing_violation()220 for (i = 0; i < (group->shared_dev_num); i++) { in check_gsi_sharing_violation()
Completed in 2 milliseconds