total_dev_cnt    4335 drivers/net/ethernet/neterion/vxge/vxge-main.c 			driver_config->total_dev_cnt))
total_dev_cnt    4340 drivers/net/ethernet/neterion/vxge/vxge-main.c 				driver_config->total_dev_cnt);
total_dev_cnt    4342 drivers/net/ethernet/neterion/vxge/vxge-main.c 		driver_config->total_dev_cnt = 0;
total_dev_cnt    4351 drivers/net/ethernet/neterion/vxge/vxge-main.c 	driver_config->total_dev_cnt++;
total_dev_cnt    4749 drivers/net/ethernet/neterion/vxge/vxge-main.c 	driver_config->total_dev_cnt--;
total_dev_cnt    4785 drivers/net/ethernet/neterion/vxge/vxge-main.c 	driver_config->total_dev_cnt--;
total_dev_cnt    4832 drivers/net/ethernet/neterion/vxge/vxge-main.c 	   (driver_config->config_dev_cnt != driver_config->total_dev_cnt))
total_dev_cnt    4836 drivers/net/ethernet/neterion/vxge/vxge-main.c 			driver_config->total_dev_cnt);
total_dev_cnt     155 drivers/net/ethernet/neterion/vxge/vxge-main.h 	int total_dev_cnt;