 /* * Hide vma from rmap and vmtruncate before freeing page tables: * to be moved into free_pgtables once page_table_lock is lifted * from it, but until then lock ordering forbids that move. */ anon_vma_unlink(vma); unlink_file_vma(vma); 
static struct vm_area_struct *remove_vma(struct vm_area_struct *vma){	struct vm_area_struct *next = vma->vm_next;	/*	 * Hide vma from rmap and vmtruncate before freeing page tables:	 * to be moved into free_pgtables once page_table_lock is lifted	 * from it, but until then lock ordering forbids that move.	 */	anon_vma_unlink(vma);	unlink_file_vma(vma);	might_sleep();	if (vma->vm_ops && vma->vm_ops->close)		vma->vm_ops->close(vma);	if (vma->vm_file)		fput(vma->vm_file);	mpol_free(vma_policy(vma));	kmem_cache_free(vm_area_cachep, vma);	return next;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/8f4f8c164cb4af1432cc25eda82928ea4519ba72/mmap.c/buggy/mm/mmap.c