taglinefilesource code
ignore_irq13276include/linux/sched.hextern int ignore_irq13;
ignore_irq13321init/main.cignore_irq13?"exception 16":"irq13");
ignore_irq13252kernel/irq.cif (ignore_irq13)
ignore_irq1334kernel/sched.cint ignore_irq13 = 0;    /* set if exception 16 works */
ignore_irq13193kernel/traps.cignore_irq13 = 1;