SET_FPEXC_CTL      88 kernel/sys.c   #ifndef SET_FPEXC_CTL
SET_FPEXC_CTL    2309 kernel/sys.c   		error = SET_FPEXC_CTL(me, arg2);