SET_FPEMU_CTL      52 kernel/sys.c   #ifndef SET_FPEMU_CTL
SET_FPEMU_CTL    1670 kernel/sys.c   			error = SET_FPEMU_CTL(current, arg2);