max_restart       253 kernel/softirq.c 	int max_restart = MAX_SOFTIRQ_RESTART;
max_restart       311 kernel/softirq.c 		    --max_restart)