pmd_t *pmdp; 
pmd_t *pmdp = pmd_off_k(virt); 
alloc_init_page(unsigned long virt, unsigned long phys, unsigned int prot_l1, pgprot_t prot){	pmd_t *pmdp;	pte_t *ptep;	pmdp = pmd_offset(pgd_offset_k(virt), virt);	if (pmd_none(*pmdp)) {		unsigned long pmdval;		ptep = alloc_bootmem_low_pages(2 * PTRS_PER_PTE *					       sizeof(pte_t));		pmdval = __pa(ptep) | prot_l1;		pmdp[0] = __pmd(pmdval);		pmdp[1] = __pmd(pmdval + 256 * sizeof(pte_t));		flush_pmd_entry(pmdp);	}	ptep = pte_offset_kernel(pmdp, virt);	set_pte(ptep, pfn_pte(phys >> PAGE_SHIFT, prot));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/155bb14482cc567761c13b4efc064de400c55e18/mm-armv.c/clean/arch/arm/mm/mm-armv.c