delete_vma       1540 mm/nommu.c     	delete_vma(mm, vma);
delete_vma       1577 mm/nommu.c     		delete_vma(mm, vma);