HelenOS sources

cp0_status_fpu_bit   44 kernel/arch/mips32/src/fpu_context.c 	cp0_status_write(cp0_status_read() & ~cp0_status_fpu_bit);
cp0_status_fpu_bit   51 kernel/arch/mips32/src/fpu_context.c 	cp0_status_write(cp0_status_read() | cp0_status_fpu_bit);