usba_hubdi_incr_power_budget
usba_hubdi_incr_power_budget(pdip, usba_device);
usba_hubdi_incr_power_budget(hubd->h_dip, usba_device);
usba_hubdi_incr_power_budget(pdip, usba_device);
void usba_hubdi_incr_power_budget(dev_info_t *, usba_device_t *);