Searched refs:device_ida (Results 1 – 1 of 1) sorted by relevance
53 struct ida device_ida; member193 ida_free(&vfio.device_ida, device->index); in vfio_device_release()278 ret = ida_alloc_max(&vfio.device_ida, MINORMASK, GFP_KERNEL); in vfio_init_device()311 ida_free(&vfio.device_ida, device->index); in vfio_init_device()1775 ida_init(&vfio.device_ida); in vfio_init()1813 ida_destroy(&vfio.device_ida); in vfio_cleanup()