else if (new_state != USB_STATE_NOTATTACHED) 
else if (new_state != USB_STATE_NOTATTACHED) { 
void usb_set_device_state(struct usb_device *udev,		enum usb_device_state new_state){	unsigned long flags;	spin_lock_irqsave(&device_state_lock, flags);	if (udev->state == USB_STATE_NOTATTACHED)		;	/* do nothing */	else if (new_state != USB_STATE_NOTATTACHED)		udev->state = new_state;	else		recursively_mark_NOTATTACHED(udev);	spin_unlock_irqrestore(&device_state_lock, flags);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b94dc6b58667a73eeaf5cfd9c9e90dcd98743c5b/hub.c/buggy/drivers/usb/core/hub.c