while((skb = skb_dequeue(&sk->sk_receive_queue)) != NULL) { 
while (qlen-- && (skb = skb_dequeue(&sk->sk_receive_queue))) { 
static void dnrmg_receive_user_sk(struct sock *sk, int len){	struct sk_buff *skb;	while((skb = skb_dequeue(&sk->sk_receive_queue)) != NULL) {		dnrmg_receive_user_skb(skb);		kfree_skb(skb);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/2a0a6ebee1d68552152ae8d4aeda91d806995dec/dn_rtmsg.c/buggy/net/decnet/netfilter/dn_rtmsg.c