HelenOS sources

XHCI_DEV_FMT      267 uspace/drv/bus/usb/xhci/device.c 		usb_log_warning("Failed to disable slot of device " XHCI_DEV_FMT
XHCI_DEV_FMT      291 uspace/drv/bus/usb/xhci/device.c 		usb_log_warning("Failed to configure device " XHCI_DEV_FMT ".",
XHCI_DEV_FMT      318 uspace/drv/bus/usb/xhci/device.c 		    XHCI_DEV_FMT ".", XHCI_DEV_ARGS(*dev));
XHCI_DEV_FMT      243 uspace/drv/bus/usb/xhci/endpoint.c 		    XHCI_DEV_FMT ": %s", ep->endpoint, XHCI_DEV_ARGS(*dev),
XHCI_DEV_FMT      199 uspace/drv/bus/usb/xhci/rh.c 		usb_log_error("Failed to register device " XHCI_DEV_FMT " DDF function: %s.",
XHCI_DEV_FMT      220 uspace/drv/bus/usb/xhci/rh.c 	usb_log_info("Device " XHCI_DEV_FMT " at port %zu has been disconnected.",
XHCI_DEV_FMT      311 uspace/drv/bus/usb/xhci/transfers.c 		    XHCI_DEV_FMT, ep_num, usb_str_direction(dir), XHCI_DEV_ARGS(*dev));