if (skb->list == &card->sbpool.queue) push_rxbufs(card, BUF_SM, (u32) skb, (u32) virt_to_bus(skb->data), 0, 0); else if (skb->list == &card->lbpool.queue) push_rxbufs(card, BUF_LG, (u32) skb, (u32) virt_to_bus(skb->data), 0, 0); else { printk("nicstar%d: What kind of rx buffer is this?\n", card->index); dev_kfree_skb_any(skb); } 
struct ns_skb_cb *cb = NS_SKB_CB(skb);  if (unlikely(cb->buf_type == BUF_NONE)) { printk("nicstar%d: What kind of rx buffer is this?\n", card->index); dev_kfree_skb_any(skb); } else push_rxbufs(card, skb); 
static void recycle_rx_buf(ns_dev *card, struct sk_buff *skb){   if (skb->list == &card->sbpool.queue)      push_rxbufs(card, BUF_SM, (u32) skb, (u32) virt_to_bus(skb->data), 0, 0);   else if (skb->list == &card->lbpool.queue)      push_rxbufs(card, BUF_LG, (u32) skb, (u32) virt_to_bus(skb->data), 0, 0);   else   {      printk("nicstar%d: What kind of rx buffer is this?\n", card->index);      dev_kfree_skb_any(skb);   }}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8728b834b226ffcf2c94a58530090e292af2a7bf/nicstar.c/buggy/drivers/atm/nicstar.c