tasklet_schedule (&dev->bh); spin_unlock_irqrestore (&dev->done.lock, flags); 
tasklet_schedule(&dev->bh); spin_unlock_irqrestore(&dev->done.lock, flags); 
static void defer_bh (struct usbnet *dev, struct sk_buff *skb){	struct sk_buff_head	*list = skb->list;	unsigned long		flags;	spin_lock_irqsave (&list->lock, flags);	__skb_unlink (skb, list);	spin_unlock (&list->lock);	spin_lock (&dev->done.lock);	__skb_queue_tail (&dev->done, skb);	if (dev->done.qlen == 1)		tasklet_schedule (&dev->bh);	spin_unlock_irqrestore (&dev->done.lock, flags);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8728b834b226ffcf2c94a58530090e292af2a7bf/usbnet.c/buggy/drivers/usb/net/usbnet.c