usb_port_reset_delay
USB_MS_TO_TICKS(usb_port_reset_delay));
unsigned int usb_port_reset_delay = USB_PORT_RESET_DELAY;
if (p == &usb_port_reset_delay) {
TUNABLE_INT("hw.usb.timings.port_reset_delay", (int *)&usb_port_reset_delay);
&usb_port_reset_delay, sizeof(usb_port_reset_delay),
extern unsigned int usb_port_reset_delay;
usb_pause_mtx(lock, USB_MS_TO_TICKS(usb_port_reset_delay));
n += usb_port_reset_delay;
usb_pause_mtx(lock, USB_MS_TO_TICKS(usb_port_reset_delay));
n += usb_port_reset_delay;