The text eec9e56ccdb2, as Debian 7 (Wheezy) shipped it.
find usb_interface pointer for driver and device
usb_find_interface(9) on Linux now