pmdp = pmd_offset(pgd_offset_k(virt), virt); 
alloc_init_section(unsigned long virt, unsigned long phys, int prot){	pmd_t *pmdp;	pmdp = pmd_offset(pgd_offset_k(virt), virt);	if (virt & (1 << 20))		pmdp++;	*pmdp = __pmd(phys | prot);	flush_pmd_entry(pmdp);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/155bb14482cc567761c13b4efc064de400c55e18/mm-armv.c/clean/arch/arm/mm/mm-armv.c