Searched refs:device_ida (Results 1 – 1 of 1) sorted by relevance
48 struct ida device_ida; member184 ida_free(&vfio.device_ida, device->index); in vfio_device_release()239 ret = ida_alloc_max(&vfio.device_ida, MINORMASK, GFP_KERNEL); in vfio_init_device()264 ida_free(&vfio.device_ida, device->index); in vfio_init_device()1648 ida_init(&vfio.device_ida); in vfio_init()1684 ida_destroy(&vfio.device_ida); in vfio_cleanup()