SET_FPEXC_CTL 58 kernel/sys.c #ifndef SET_FPEXC_CTL SET_FPEXC_CTL 1676 kernel/sys.c error = SET_FPEXC_CTL(current, arg2);