SET_FPEMU_CTL      82 kernel/sys.c   #ifndef SET_FPEMU_CTL
SET_FPEMU_CTL    2303 kernel/sys.c   		error = SET_FPEMU_CTL(me, arg2);