vfio_selftests_get_bdfs
char **vfio_selftests_get_bdfs(int *argc, char *argv[], int *nr_bdfs);
return vfio_selftests_get_bdfs(argc, argv, &nr_bdfs)[0];
device_bdfs = vfio_selftests_get_bdfs(&argc, argv, &nr_devices);