HelenOS sources

fpu_disable        44 kernel/generic/include/fpu_context.h extern void fpu_disable(void);
fpu_disable       291 kernel/generic/src/proc/scheduler.c 		fpu_disable();