ibmveth_replenish_buffer_pool(adapter, &adapter->rx_buff_pool[0]); ibmveth_replenish_buffer_pool(adapter, &adapter->rx_buff_pool[1]); ibmveth_replenish_buffer_pool(adapter, &adapter->rx_buff_pool[2]); 
for(i = 0; i < IbmVethNumBufferPools; i++) if(adapter->rx_buff_pool[i].active) ibmveth_replenish_buffer_pool(adapter, &adapter->rx_buff_pool[i]); 
static void ibmveth_replenish_task(struct ibmveth_adapter *adapter) {	adapter->replenish_task_cycles++;	ibmveth_replenish_buffer_pool(adapter, &adapter->rx_buff_pool[0]);	ibmveth_replenish_buffer_pool(adapter, &adapter->rx_buff_pool[1]);	ibmveth_replenish_buffer_pool(adapter, &adapter->rx_buff_pool[2]);	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/b6d35182fe62e57d368062adcc880ca35119d88e/ibmveth.c/clean/drivers/net/ibmveth.c