HelenOS sources

FPEXC_ENABLED_FLAG  236 kernel/arch/arm32/src/fpu_context.c 	if (fpexc & FPEXC_ENABLED_FLAG) {
FPEXC_ENABLED_FLAG  256 kernel/arch/arm32/src/fpu_context.c 	fpexc_write(fpexc_read() | FPEXC_ENABLED_FLAG);
FPEXC_ENABLED_FLAG  265 kernel/arch/arm32/src/fpu_context.c 	fpexc_write(fpexc_read() & ~FPEXC_ENABLED_FLAG);