fix_f00f         1246 arch/i386/i386/machdep.c 		fix_f00f();
fix_f00f          343 arch/i386/include/cpu.h void fix_f00f(void);