usb_port_resume_delay
unsigned int usb_port_resume_delay = USB_PORT_RESUME_DELAY;
} else if (p == &usb_port_resume_delay) {
TUNABLE_INT("hw.usb.timings.port_resume_delay", (int *)&usb_port_resume_delay);
&usb_port_resume_delay, sizeof(usb_port_resume_delay),
extern unsigned int usb_port_resume_delay;
usb_pause_mtx(NULL, USB_MS_TO_TICKS(usb_port_resume_delay));
usb_pause_mtx(NULL, USB_MS_TO_TICKS(usb_port_resume_delay));