Searched refs:device_ida (Results 1 – 1 of 1) sorted by relevance
52 struct ida device_ida; member190 ida_free(&vfio.device_ida, device->index); in vfio_device_release()275 ret = ida_alloc_max(&vfio.device_ida, MINORMASK, GFP_KERNEL); in vfio_init_device()308 ida_free(&vfio.device_ida, device->index); in vfio_init_device()1704 ida_init(&vfio.device_ida); in vfio_init()1742 ida_destroy(&vfio.device_ida); in vfio_cleanup()