taglinefilesource code
ignore_irq1319include/linux/sched.hextern int ignore_irq13;
ignore_irq13487init/main.cignore_irq13?"exception 16":"irq13");
ignore_irq13329kernel/irq.cif (ignore_irq13 || !hard_math)
ignore_irq1373kernel/sched.cint ignore_irq13 = 0;    /* set if exception 16 works */
ignore_irq13218kernel/traps.cignore_irq13 = 1;