f00f_redirect    2753 arch/i386/i386/machdep.c extern int IDTVEC(f00f_redirect);
f00f_redirect    2774 arch/i386/i386/machdep.c 	setgate(&idt[ 14], &IDTVEC(f00f_redirect), 0, SDT_SYS386TGT, SEL_KPL,