Symbol: fix_f00f
sys/arch/i386/i386/machdep.c
1320
fix_f00f();
sys/arch/i386/include/cpu.h
395
void fix_f00f(void);