spin_unlock(&mm->page_table_lock); 
int __pte_alloc(struct mm_struct *mm, pmd_t *pmd, unsigned long address){	struct page *new;	spin_unlock(&mm->page_table_lock);	new = pte_alloc_one(mm, address);	spin_lock(&mm->page_table_lock);	if (!new)		return -ENOMEM;	if (pmd_present(*pmd))		/* Another has populated it */		pte_free(new);	else {		mm->nr_ptes++;		inc_page_state(nr_page_table_pages);		pmd_populate(mm, pmd, new);	}	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c74df32c724a1652ad8399b4891bb02c9d43743a/memory.c/clean/mm/memory.c