pte_lock_deinit(page); 
static void free_pte_range(struct mmu_gather *tlb, pmd_t *pmd){	struct page *page = pmd_page(*pmd);	pmd_clear(pmd);	pte_free_tlb(tlb, page);	dec_page_state(nr_page_table_pages);	tlb->mm->nr_ptes--;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4c21e2f2441dc5fbb957b030333f5a3f2d02dea7/memory.c/clean/mm/memory.c