HelenOS sources

fpu_init           42 kernel/generic/include/fpu_context.h extern void fpu_init(void);
fpu_init           90 kernel/generic/src/proc/scheduler.c 		fpu_init();
fpu_init          298 kernel/generic/src/proc/scheduler.c 		fpu_init();