HelenOS sources

fpu_setup          51 kernel/arch/arm32/include/arch/fpu_context.h void fpu_setup(void);
fpu_setup         190 kernel/arch/arm32/src/cpu/cpu.c 	fpu_setup();