vfio_allocate_device_file
df = vfio_allocate_device_file(device);
vfio_allocate_device_file(struct vfio_device *device);