push_rxbufs(card, BUF_SM, (u32) new_sb, (u32) virt_to_bus(new_sb->data), 0, 0); 
push_rxbufs(card, new_sb); 
static void dequeue_sm_buf(ns_dev *card, struct sk_buff *sb){   skb_unlink(sb);#ifdef NS_USE_DESTRUCTORS   if (card->sbfqc < card->sbnr.min)#else   if (card->sbfqc < card->sbnr.init)   {      struct sk_buff *new_sb;      if ((new_sb = dev_alloc_skb(NS_SMSKBSIZE)) != NULL)      {         skb_queue_tail(&card->sbpool.queue, new_sb);         skb_reserve(new_sb, NS_AAL0_HEADER);         push_rxbufs(card, BUF_SM, (u32) new_sb,                     (u32) virt_to_bus(new_sb->data), 0, 0);      }   }   if (card->sbfqc < card->sbnr.init)#endif /* NS_USE_DESTRUCTORS */   {      struct sk_buff *new_sb;      if ((new_sb = dev_alloc_skb(NS_SMSKBSIZE)) != NULL)      {         skb_queue_tail(&card->sbpool.queue, new_sb);         skb_reserve(new_sb, NS_AAL0_HEADER);         push_rxbufs(card, BUF_SM, (u32) new_sb,                     (u32) virt_to_bus(new_sb->data), 0, 0);      }   }}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8728b834b226ffcf2c94a58530090e292af2a7bf/nicstar.c/buggy/drivers/atm/nicstar.c