usb_extra_power_up_time
TUNABLE_INT("hw.usb.timings.extra_power_up_time", (int *)&usb_extra_power_up_time);
&usb_extra_power_up_time, sizeof(usb_extra_power_up_time),
unsigned int usb_extra_power_up_time = USB_EXTRA_POWER_UP_TIME;
} else if (p == &usb_extra_power_up_time) {
extern unsigned int usb_extra_power_up_time;
usb_extra_power_up_time);
usb_extra_power_up_time);
pwrdly = ((10 * UHD_PWRON_FACTOR) + usb_extra_power_up_time);