sys/arch/alpha/alpha/dec_alphabook1.c

190

printf("\npcidev = %s\n", device_xname(dev));

sys/arch/alpha/alpha/dec_alphabook1.c

211

printf("\nbooted_device = %s\n", device_xname(dev));

sys/arch/alpha/alpha/dec_alphabook1.c

217

printf("\nctrlrdev = %s\n", device_xname(dev));

sys/arch/alpha/alpha/dec_alphabook1.c

243

printf("\nbooted_device = %s\n", device_xname(dev));

sys/dev/usb/dwc2/dwc2.h

68

printf("%s: " fmt, device_xname(d), \

sys/dev/usb/dwc2/dwc2.h

72

printf("%s: " fmt, device_xname(d), \

sys/dev/usb/dwc2/dwc2.h

76

printf("%s: " fmt, device_xname(d), \

sys/dev/usb/dwc2/dwc2.h

81

printf("%s: " fmt, device_xname(d), \

sys/dev/usb/dwc2/dwc2.h

87

printf("%s: " fmt, device_xname(d), \

sys/dev/usb/dwc2/dwc2_core.h

67

printf("%s: " fmt, device_xname(hsotg->dev), \

sys/dev/usb/dwc2/dwc2_core.h

75

printf("%s: " fmt, device_xname(hsotg->dev), \