tag	line	file	source code
ignore_irq13	24	include/linux/sched.h	extern char ignore_irq13;
ignore_irq13	458	init/main.c	if (!ignore_irq13) {
ignore_irq13	329	kernel/irq.c	if (ignore_irq13 || !hard_math)
ignore_irq13	80	kernel/sched.c	char ignore_irq13 = 0;    /* set if exception 16 works */
ignore_irq13	217	kernel/traps.c	ignore_irq13 = 1;