GET_FPEMU_CTL      55 kernel/sys.c   #ifndef GET_FPEMU_CTL
GET_FPEMU_CTL    1673 kernel/sys.c   			error = GET_FPEMU_CTL(current, arg2);