usba_hubdi_decr_power_budget
usba_hubdi_decr_power_budget(dip, child_ud);
usba_hubdi_decr_power_budget(pdip, usba_device);
usba_hubdi_decr_power_budget(pdip, usba_device);
void usba_hubdi_decr_power_budget(dev_info_t *, usba_device_t *);