/* Delete the dependent device from the dock's hotplug device list  */
static void dock_del_hotplug_device(struct dock_station *ds, struct dock_dependent_device *dd)
/* Delete the dependent device from the dock's hotplug device list  */
static void dock_del_hotplug_device(struct dock_station *ds, struct dock_dependent_device *dd)
{
	mutex_lock(&ds->hp_lock);
	list_del(&dd->hotplug_list);
	mutex_unlock(&ds->hp_lock);
}