vfio_selftests_get_bdf
const char *vfio_selftests_get_bdf(int *argc, char *argv[]);
device_bdf = vfio_selftests_get_bdf(&argc, argv);
device_bdf = vfio_selftests_get_bdf(&argc, argv);
const char *device_bdf = vfio_selftests_get_bdf(&argc, argv);
device_bdf = vfio_selftests_get_bdf(&argc, argv);
device_bdf = vfio_selftests_get_bdf(&argc, argv);