GET_FPEMU_CTL      85 kernel/sys.c   #ifndef GET_FPEMU_CTL
GET_FPEMU_CTL    2306 kernel/sys.c   		error = GET_FPEMU_CTL(me, arg2);