Home
last modified time | relevance | path

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

/devicemodel/hw/pci/
A Dgsi_sharing.c24 int shared_dev_num; member
44 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