FreeSkb(skb); 
dev_kfree_skb(skb); 
l2_feed_i_if_reest(struct FsmInst *fi, int event, void *arg){	struct PStack *st = fi->userdata;	struct sk_buff *skb = arg;	if (test_bit(FLG_LAPB, &st->l2.flag))		st->l1.bcs->tx_cnt += skb->len + l2headersize(&st->l2, 0);	if (!test_bit(FLG_L3_INIT, &st->l2.flag))		skb_queue_tail(&st->l2.i_queue, skb);	else		FreeSkb(skb);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/672c3fd9069e5a138f9d4afc9aeb5aa34aacce32/isdnl2.c/buggy/drivers/isdn/hisax/isdnl2.c