work_budget       772 drivers/net/ethernet/3com/3c574_cs.c 	int work_budget = max_interrupt_work;
work_budget       795 drivers/net/ethernet/3com/3c574_cs.c 			work_budget = el3_rx(dev, work_budget);
work_budget       812 drivers/net/ethernet/3com/3c574_cs.c 				work_budget = el3_rx(dev, work_budget);
work_budget       837 drivers/net/ethernet/3com/3c574_cs.c 		if (--work_budget < 0) {