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