Lines Matching refs:vfio
8 * Derived from original vfio:
33 #include <linux/vfio.h>
40 #include "vfio.h"
46 static struct vfio {
49 } vfio;
184 ida_free(&vfio.device_ida, device->index);
196 * Allocate and initialize vfio_device so it can be registered to vfio
232 * Initialize a vfio_device so it can be registered to vfio core.
239 ret = ida_alloc_max(&vfio.device_ida, MINORMASK, GFP_KERNEL);
258 device->device.class = vfio.device_class;
264 ida_free(&vfio.device_ida, device->index);
287 ret = dev_set_name(&device->device, "vfio%d", device->index);
560 "vfio: runtime resume failed %d\n", ret);
1322 * vfio_file_is_valid - True if the file is valid vfio file
1366 * iommufd successfully in the vfio device cdev path.
1536 /* group->container cannot change while a vfio device is open */
1648 ida_init(&vfio.device_ida);
1658 /* /sys/class/vfio-dev/vfioX */
1659 vfio.device_class = class_create("vfio-dev");
1660 if (IS_ERR(vfio.device_class)) {
1661 ret = PTR_ERR(vfio.device_class);
1665 ret = vfio_cdev_init(vfio.device_class);
1673 class_destroy(vfio.device_class);
1674 vfio.device_class = NULL;
1684 ida_destroy(&vfio.device_ida);
1686 class_destroy(vfio.device_class);
1687 vfio.device_class = NULL;