taglinefilesource code
ignore_irq1321include/linux/sched.hextern int ignore_irq13;
ignore_irq13451init/main.cignore_irq13?"exception 16":"irq13");
ignore_irq13309kernel/irq.cif (ignore_irq13)
ignore_irq1368kernel/sched.cint ignore_irq13 = 0;    /* set if exception 16 works */
ignore_irq13209kernel/traps.cignore_irq13 = 1;