HelenOS sources

fpu_disable        41 kernel/arch/abs32le/src/cpu/cpu.c void fpu_disable(void)
fpu_disable        86 kernel/arch/amd64/src/cpu/cpu.c void fpu_disable(void)
fpu_disable       259 kernel/arch/arm32/src/fpu_context.c void fpu_disable(void)
fpu_disable        90 kernel/arch/arm64/src/fpu_context.c void fpu_disable(void)
fpu_disable        71 kernel/arch/ia32/src/cpu/cpu.c void fpu_disable(void)
fpu_disable       472 kernel/arch/ia64/src/fpu_context.c void fpu_disable(void)
fpu_disable        41 kernel/arch/mips32/src/fpu_context.c void fpu_disable(void)
fpu_disable        40 kernel/arch/riscv64/src/cpu/cpu.c void fpu_disable(void)
fpu_disable       163 kernel/arch/sparc64/src/fpu_context.c void fpu_disable(void)