+ rte_eal_vfio_get_vf_token(vf_token);
+
+ /* get a file descriptor for the device with VF token firstly */
+ if (!rte_uuid_is_null(vf_token)) {
+ char vf_token_str[RTE_UUID_STRLEN];
+ char dev[PATH_MAX];
+
+ rte_uuid_unparse(vf_token, vf_token_str, sizeof(vf_token_str));
+ snprintf(dev, sizeof(dev),
+ "%s vf_token=%s", dev_addr, vf_token_str);
+
+ *vfio_dev_fd = ioctl(vfio_group_fd, VFIO_GROUP_GET_DEVICE_FD,
+ dev);
+ if (*vfio_dev_fd >= 0)
+ goto dev_get_info;
+ }
+