return(0); 
res = run_syscall_stub(mm_idp, __NR_munmap, args); if(res < 0) printk("munmap stub failed, errno = %d\n", res); }  return(0); 
int unmap(int fd, void *addr, unsigned long len){	struct proc_mm_op unmap;	int n;	unmap = ((struct proc_mm_op) { .op 	= MM_MUNMAP,				       .u 	= 				       { .munmap	= 					 { .addr 	= (unsigned long) addr,					   .len		= len } } } );	n = os_write_file(fd, &unmap, sizeof(unmap));	if(n != sizeof(unmap)) {		if(n < 0)			return(n);		else if(n > 0)			return(-EIO);	}	return(0);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d67b569f5f620c0fb95d5212642746b7ba9d29e4/mem_user.c/buggy/arch/um/kernel/skas/mem_user.c