anon_vma_name_put
anon_vma_name_put(vma->anon_name);
anon_vma_name_put(orig_name);
anon_vma_name_put(anon_name);