err = ptrace(PTRACE_SWITCH_MM, userspace_pid[0], 0, mm_fd); if(err) panic("switch_mm_skas - PTRACE_SWITCH_MM failed, errno = %d\n", errno); 
if(proc_mm){ err = ptrace(PTRACE_SWITCH_MM, userspace_pid[0], 0, mm_idp->u.mm_fd); if(err) panic("switch_mm_skas - PTRACE_SWITCH_MM failed, " "errno = %d\n", errno); } else userspace_pid[0] = mm_idp->u.pid; 
void switch_mm_skas(int mm_fd){	int err;#warning need cpu pid in switch_mm_skas	err = ptrace(PTRACE_SWITCH_MM, userspace_pid[0], 0, mm_fd);	if(err)		panic("switch_mm_skas - PTRACE_SWITCH_MM failed, errno = %d\n",		      errno);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d67b569f5f620c0fb95d5212642746b7ba9d29e4/process.c/buggy/arch/um/kernel/skas/process.c