struct sk_buff *skb;  for (; count > 0; count--) { skb = (struct sk_buff *) (iov++)->iov_base; 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); } } 
while (count-- > 0) recycle_rx_buf(card, (struct sk_buff *) (iov++)->iov_base); 
static void recycle_iovec_rx_bufs(ns_dev *card, struct iovec *iov, int count){   struct sk_buff *skb;   for (; count > 0; count--)   {      skb = (struct sk_buff *) (iov++)->iov_base;      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