is_bdf
for (i = *argc - 1; i > 0 && is_bdf(argv[i]); i--)
VFIO_ASSERT_TRUE(is_bdf(bdf), "Invalid BDF: %s\n", bdf);