HelenOS sources

cpu_setup_fpu     103 kernel/arch/amd64/include/arch/cpu.h void cpu_setup_fpu(void);
cpu_setup_fpu     109 kernel/arch/amd64/src/amd64.c 	cpu_setup_fpu();
cpu_setup_fpu      52 kernel/arch/riscv64/include/arch/cpu.h extern void cpu_setup_fpu(void);