usb_hub_find_child(9) on Linux

The text 1ef615c57363, as Debian 8 (Jessie) shipped it.

Get the pointer of child device attached to the port which is specified by port1.