void zap_hugepage_range(struct vm_area_struct *vma, unsigned long start, unsigned long length) 
void unmap_hugepage_range(struct vm_area_struct *vma, unsigned long start, unsigned long 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/1c59827d1da9bcd6970800d4f8a031b5859e8b4c/hugetlb.c/buggy/mm/hugetlb.c