process_fpemu_return
process_fpemu_return(sig, fault_addr, fcsr);
int process_fpemu_return(int sig, void __user *fault_addr,
process_fpemu_return(status,
if (!process_fpemu_return(sig, fault_addr, fcr31) && !err)
process_fpemu_return(sig, fault_addr, fcr31);
process_fpemu_return(sig, fault_addr, fcr31);
process_fpemu_return(res, fault_addr, 0);
process_fpemu_return(res, fault_addr, 0);