device_xname
printf("\npcidev = %s\n", device_xname(dev));
printf("\nbooted_device = %s\n", device_xname(dev));
printf("\nctrlrdev = %s\n", device_xname(dev));
printf("\nbooted_device = %s\n", device_xname(dev));
printf("%s: " fmt, device_xname(d), \
printf("%s: " fmt, device_xname(d), \
printf("%s: " fmt, device_xname(d), \
printf("%s: " fmt, device_xname(d), \
printf("%s: " fmt, device_xname(d), \
printf("%s: " fmt, device_xname(hsotg->dev), \
printf("%s: " fmt, device_xname(hsotg->dev), \