USB_DEVICE_INTERFACE_PROTOCOL(9) on Linux

The text 800433639657, as Debian 7 (Wheezy) shipped it.

describe a usb device with a specific interface protocol

USB_DEVICE_INTERFACE_PROTOCOL(9) on Linux now