HelenOS sources

fpu_enable        176 kernel/arch/arm32/src/fpu_context.c 	fpu_enable();
fpu_enable         44 kernel/arch/ppc32/src/cpu/cpu.c 	fpu_enable();
fpu_enable        174 kernel/arch/sparc64/src/fpu_context.c 	fpu_enable();
fpu_enable         43 kernel/generic/include/fpu_context.h extern void fpu_enable(void);
fpu_enable         73 kernel/generic/src/proc/scheduler.c 	fpu_enable();
fpu_enable        289 kernel/generic/src/proc/scheduler.c 		fpu_enable();
fpu_enable        294 kernel/generic/src/proc/scheduler.c 	fpu_enable();