if(err != EIO) panic("check_ptrace : PTRACE_GETFPXREGS failed, errno = %d", err); 
void init_registers(int pid){	int err;	err = ptrace(PTRACE_GETREGS, pid, 0, exec_regs);	if(err)		panic("check_ptrace : PTRACE_GETREGS failed, errno = %d",		      err);	err = ptrace(PTRACE_GETFPXREGS, pid, 0, exec_fpx_regs);	if(!err)		return;	have_fpx_regs = 0;	if(err != EIO)		panic("check_ptrace : PTRACE_GETFPXREGS failed, errno = %d",		      err);	err = ptrace(PTRACE_GETFPREGS, pid, 0, exec_fp_regs);	if(err)		panic("check_ptrace : PTRACE_GETFPREGS failed, errno = %d",		      err);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/6aec3072833283a5e2ecf07318bd383a67321657/registers.c/clean/arch/um/os-Linux/sys-i386/registers.c