Searched refs:user_pref (Results 1 – 1 of 1) sorted by relevance
5694 usba_configrec_t *user_pref; in hubd_select_device_configuration() local5722 user_pref = usba_devdb_get_user_preferences(usbdev_ptr->idVendor, in hubd_select_device_configuration()5725 if (user_pref) { in hubd_select_device_configuration()5730 user_pref->cfg_index, user_pref->driver, in hubd_select_device_configuration()5731 user_pref->pathname); in hubd_select_device_configuration()5733 user_conf = user_pref->cfg_index; in hubd_select_device_configuration()5735 if (user_pref->driver) { in hubd_select_device_configuration()5737 child_ud->usb_preferred_driver = user_pref->driver; in hubd_select_device_configuration()