Searched refs:device_ida (Results 1 – 1 of 1) sorted by relevance
51 struct ida device_ida; member353 ida_free(&vfio.device_ida, device->index); in vfio_device_release()410 ret = ida_alloc_max(&vfio.device_ida, MINORMASK, GFP_KERNEL); in vfio_init_device()435 ida_free(&vfio.device_ida, device->index); in vfio_init_device()1825 ida_init(&vfio.device_ida); in vfio_init()1871 ida_destroy(&vfio.device_ida); in vfio_cleanup()