area->vm_mm->total_vm -= len >> PAGE_SHIFT; if (area->vm_flags & VM_LOCKED) area->vm_mm->locked_vm -= len >> PAGE_SHIFT; vm_stat_unaccount(area); remove_vm_struct(area); 
mm->total_vm -= nrpages; if (vma->vm_flags & VM_LOCKED) mm->locked_vm -= nrpages; vm_stat_account(mm, vma->vm_flags, vma->vm_file, -nrpages); remove_vm_struct(vma); 
static void unmap_vma(struct mm_struct *mm, struct vm_area_struct *area){	size_t len = area->vm_end - area->vm_start;	area->vm_mm->total_vm -= len >> PAGE_SHIFT;	if (area->vm_flags & VM_LOCKED)		area->vm_mm->locked_vm -= len >> PAGE_SHIFT;	vm_stat_unaccount(area);	remove_vm_struct(area);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/ab50b8ed818016cfecd747d6d4bb9139986bc029/mmap.c/clean/mm/mmap.c