../../../../../../third_party/FreeBSD/sys/dev/usb/controller/ehci.h