spin_lock(&mm->page_table_lock); unmap_hugepage_range(vma, start, start + length); spin_unlock(&mm->page_table_lock); 
WARN_ON(!is_vm_hugetlb_page(vma)); BUG_ON(start & ~HPAGE_MASK); BUG_ON(end & ~HPAGE_MASK);  for (address = start; address < end; address += HPAGE_SIZE) { pte = huge_ptep_get_and_clear(mm, address, huge_pte_offset(mm, address)); if (pte_none(pte)) continue; page = pte_page(pte); put_page(page); } add_mm_counter(mm, rss,  -((end - start) >> PAGE_SHIFT)); flush_tlb_range(vma, start, end); 
void zap_hugepage_range(struct vm_area_struct *vma,			unsigned long start, unsigned long length){	struct mm_struct *mm = vma->vm_mm;	spin_lock(&mm->page_table_lock);	unmap_hugepage_range(vma, start, start + length);	spin_unlock(&mm->page_table_lock);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/63551ae0feaaa23807ebea60de1901564bbef32e/hugetlb.c/buggy/mm/hugetlb.c