usb_extra_power_up_time
CTLTYPE_UINT | CTLFLAG_RWTUN | CTLFLAG_MPSAFE, &usb_extra_power_up_time,
sizeof(usb_extra_power_up_time), usb_timings_sysctl_handler, "IU",
unsigned usb_extra_power_up_time = USB_EXTRA_POWER_UP_TIME;
extern unsigned 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);