HelenOS sources

fpu_fxsr           44 kernel/arch/amd64/include/arch/fpu_context.h extern void fpu_fxsr(void);
fpu_fxsr           44 kernel/arch/ia32/include/arch/fpu_context.h extern void fpu_fxsr(void);
fpu_fxsr           94 kernel/arch/ia32/src/cpu/cpu.c 		fpu_fxsr();