tag	line	file	source code
ignore_irq13	294	include/linux/sched.h	extern int ignore_irq13;
ignore_irq13	416	init/main.c	ignore_irq13?"exception 16":"irq13");
ignore_irq13	306	kernel/irq.c	if (ignore_irq13)
ignore_irq13	40	kernel/sched.c	int ignore_irq13 = 0;    /* set if exception 16 works */
ignore_irq13	216	kernel/traps.c	ignore_irq13 = 1;