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