tag	line	file	source code
ignore_irq13	331	arch/i386/kernel/irq.c	if (ignore_irq13 || !hard_math)
ignore_irq13	43	arch/i386/kernel/setup.c	char ignore_irq13 = 0;    /* set if exception 16 works */
ignore_irq13	279	arch/i386/kernel/traps.c	ignore_irq13 = 1;
ignore_irq13	79	include/asm-i386/bugs.h	if (!ignore_irq13) {
ignore_irq13	20	include/asm-i386/processor.h	extern char ignore_irq13;