zap_pte_range(tlb, pmd, addr, next, details); 
zap_pte_range(tlb, vma, pmd, addr, next, details); 
static inline void zap_pmd_range(struct mmu_gather *tlb, pud_t *pud,				unsigned long addr, unsigned long end,				struct zap_details *details){	pmd_t *pmd;	unsigned long next;	pmd = pmd_offset(pud, addr);	do {		next = pmd_addr_end(addr, end);		if (pmd_none_or_clear_bad(pmd))			continue;		zap_pte_range(tlb, pmd, addr, next, details);	} while (pmd++, addr = next, addr != end);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b5810039a54e5babf428e9a1e89fc1940fabff11/memory.c/buggy/mm/memory.c