avf_device_t *ad = vec_elt_at_index (am->devices, i);
vlib_pci_addr_t *addr = vlib_pci_get_addr (vm, ad->pci_dev_handle);
+ if (ad->name)
+ return format (s, "%s", ad->name);
+
s = format (s, "avf-%x/%x/%x/%x",
addr->domain, addr->bus, addr->slot, addr->function);
return s;