budget_org       2763 drivers/net/ethernet/neterion/s2io.c 	int budget_org = budget;
budget_org       2771 drivers/net/ethernet/neterion/s2io.c 	if (pkts_processed < budget_org) {
budget_org       2789 drivers/net/ethernet/neterion/s2io.c 	int budget_org = budget;
budget_org       2805 drivers/net/ethernet/neterion/s2io.c 	if (pkts_processed < budget_org) {
budget_org       1815 drivers/net/ethernet/neterion/vxge/vxge-main.c 	int budget_org = budget;
budget_org       1822 drivers/net/ethernet/neterion/vxge/vxge-main.c 	if (pkts_processed < budget_org) {
budget_org       1842 drivers/net/ethernet/neterion/vxge/vxge-main.c 	int budget_org = budget;
budget_org       1860 drivers/net/ethernet/neterion/vxge/vxge-main.c 	if (pkts_processed < budget_org) {