pte = pte_alloc_kernel(&init_mm, pmd, addr); 
pte = pte_alloc_kernel(pmd, addr); 
static int vmap_pte_range(pmd_t *pmd, unsigned long addr,			unsigned long end, pgprot_t prot, struct page ***pages){	pte_t *pte;	pte = pte_alloc_kernel(&init_mm, pmd, addr);	if (!pte)		return -ENOMEM;	do {		struct page *page = **pages;		WARN_ON(!pte_none(*pte));		if (!page)			return -ENOMEM;		set_pte_at(&init_mm, addr, pte, mk_pte(page, prot));		(*pages)++;	} while (pte++, addr += PAGE_SIZE, addr != end);	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/872fec16d9a0ed3b75b8893aa217e49cca575ee5/vmalloc.c/buggy/mm/vmalloc.c