Searched refs:user_pref (Results 1 – 1 of 1) sorted by relevance
5432 usba_configrec_t *user_pref; in hubd_select_device_configuration() local5460 user_pref = usba_devdb_get_user_preferences(usbdev_ptr->idVendor, in hubd_select_device_configuration()5463 if (user_pref) { in hubd_select_device_configuration()5468 user_pref->cfg_index, user_pref->driver, in hubd_select_device_configuration()5469 user_pref->pathname); in hubd_select_device_configuration()5471 user_conf = user_pref->cfg_index; in hubd_select_device_configuration()5473 if (user_pref->driver) { in hubd_select_device_configuration()5475 child_ud->usb_preferred_driver = user_pref->driver; in hubd_select_device_configuration()