 atomic_inc(&adapter->not_replenishing);  ibmveth_schedule_replenishing(adapter); 
static void ibmveth_replenish_task(struct ibmveth_adapter *adapter) {	int i;	adapter->replenish_task_cycles++;	for(i = 0; i < IbmVethNumBufferPools; i++)		if(adapter->rx_buff_pool[i].active)			ibmveth_replenish_buffer_pool(adapter, 						     &adapter->rx_buff_pool[i]);	adapter->rx_no_buffer = *(u64*)(((char*)adapter->buffer_list_addr) + 4096 - 8);	atomic_inc(&adapter->not_replenishing);	ibmveth_schedule_replenishing(adapter);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e2adbcb480992de8a01acf9218e8bbd9b507fc6f/ibmveth.c/clean/drivers/net/ibmveth.c