spin_unlock(&mm->page_table_lock); 
int zeromap_page_range(struct vm_area_struct *vma,			unsigned long addr, unsigned long size, pgprot_t prot){	pgd_t *pgd;	unsigned long next;	unsigned long end = addr + size;	struct mm_struct *mm = vma->vm_mm;	int err;	BUG_ON(addr >= end);	pgd = pgd_offset(mm, addr);	flush_cache_range(vma, addr, end);	spin_lock(&mm->page_table_lock);	do {		next = pgd_addr_end(addr, end);		err = zeromap_pud_range(mm, pgd, addr, next, prot);		if (err)			break;	} while (pgd++, addr = next, addr != end);	spin_unlock(&mm->page_table_lock);	return err;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c74df32c724a1652ad8399b4891bb02c9d43743a/memory.c/buggy/mm/memory.c