restore_fpx_registers   17 arch/um/include/shared/registers.h extern int restore_fpx_registers(int pid, unsigned long *fp_regs);
restore_fpx_registers   93 arch/x86/um/os-Linux/registers.c 		return restore_fpx_registers(pid, regs);
restore_fpx_registers  251 arch/x86/um/ptrace_32.c 	return restore_fpx_registers(userspace_pid[cpu],
restore_fpx_registers  218 arch/x86/um/signal.c 		err = restore_fpx_registers(pid, (unsigned long *) &fpx);