HelenOS sources

PRIX32            142 uspace/drv/block/usbmast/bo_trans.c 		    PRIX32 " received: %" PRIx32, tag, csw.dCSWTag);
PRIX32            352 uspace/drv/bus/usb/ehci/ehci_rh.c 		usb_log_info("RH(%p-%u): Port not enabled after reset (%" PRIX32
HelenOS homepage, sources at GitHub