FreeSkb(skb); 
dev_kfree_skb(skb); 
l2_released(struct FsmInst *fi, int event, void *arg){	struct PStack *st = fi->userdata;	struct sk_buff *skb = arg;	if (!get_PollFlag(st, skb)) {		l2_mdl_error_ua(fi, event, arg);		return;	}	FreeSkb(skb);	stop_t200(st, 6);	lapb_dl_release_l2l3(st, CONFIRM);	FsmChangeState(fi, ST_L2_4);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/672c3fd9069e5a138f9d4afc9aeb5aa34aacce32/isdnl2.c/buggy/drivers/isdn/hisax/isdnl2.c