drivers/vfio/vfio_main.c

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);
562 				"vfio: runtime resume failed %d\n", ret);
1334  * vfio_file_is_valid - True if the file is valid vfio file
1378 	 * iommufd successfully in the vfio device cdev path.
1548 	/* group->container cannot change while a vfio device is open */
1660 	ida_init(&vfio.device_ida);
1670 	/* /sys/class/vfio-dev/vfioX */
1671 	vfio.device_class = class_create("vfio-dev");
1672 	if (IS_ERR(vfio.device_class)) {
1673 		ret = PTR_ERR(vfio.device_class);
1677 	ret = vfio_cdev_init(vfio.device_class);
1686 	class_destroy(vfio.device_class);
1687 	vfio.device_class = NULL;
1698 	ida_destroy(&vfio.device_ida);
1700 	class_destroy(vfio.device_class);
1701 	vfio.device_class = NULL;