put_vma          1155 mm/nommu.c     	put_vma(mm, vml->vma);
put_vma          1200 mm/nommu.c     			put_vma(mm, tmp->vma);