unsigned long flags; 
unsigned long flags; 
void hpsb_free_tlabel(struct hpsb_packet *packet){        unsigned long flags;	struct hpsb_tlabel_pool *tp;	tp = &packet->host->tpool[packet->node_id & NODE_MASK];	BUG_ON(packet->tlabel > 63 || packet->tlabel < 0);        spin_lock_irqsave(&tp->lock, flags);	BUG_ON(!test_and_clear_bit(packet->tlabel, tp->pool));        spin_unlock_irqrestore(&tp->lock, flags);	up(&tp->count);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/16c333a34a1a0441c54c4fe5cf6052716f95c2fa/ieee1394_transactions.c/buggy/drivers/ieee1394/ieee1394_transactions.c