72     USBPort       port;  member
98     unsigned                 port;  member
684 static void usbback_hotplug_enq(struct usbback_info *usbif, unsigned port)  in usbback_hotplug_enq()
694 static void usbback_portid_drain(struct usbback_info *usbif, unsigned port)  in usbback_portid_drain()
709 static void usbback_portid_detach(struct usbback_info *usbif, unsigned port)  in usbback_portid_detach()
721 static void usbback_portid_remove(struct usbback_info *usbif, unsigned port)  in usbback_portid_remove()
734 static void usbback_portid_add(struct usbback_info *usbif, unsigned port,  in usbback_portid_add()
810 static void usbback_process_port(struct usbback_info *usbif, unsigned port)  in usbback_process_port()
963 static void xen_bus_attach(USBPort *port)  in xen_bus_attach()
973 static void xen_bus_detach(USBPort *port)  in xen_bus_detach()
982 static void xen_bus_child_detach(USBPort *port, USBDevice *child)  in xen_bus_child_detach()
990 static void xen_bus_complete(USBPort *port, USBPacket *packet)  in xen_bus_complete()