unsigned long pmdval;  BUG_ON(mm == &init_mm);  pmdval = page_to_pfn(ptep) << PAGE_SHIFT | _PAGE_USER_TABLE; pmdp[0] = __pmd(pmdval); pmdp[1] = __pmd(pmdval + 256 * sizeof(pte_t)); flush_pmd_entry(pmdp); 
__pmd_populate(pmdp, page_to_pfn(ptep) << PAGE_SHIFT | _PAGE_USER_TABLE); 
pmd_populate(struct mm_struct *mm, pmd_t *pmdp, struct page *ptep){	unsigned long pmdval;	BUG_ON(mm == &init_mm);	pmdval = page_to_pfn(ptep) << PAGE_SHIFT | _PAGE_USER_TABLE;	pmdp[0] = __pmd(pmdval);	pmdp[1] = __pmd(pmdval + 256 * sizeof(pte_t));	flush_pmd_entry(pmdp);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/bdf042486a01aefaf29d74be1b4526daa70a5f0f/pgalloc.h/clean/include/asm-arm/pgalloc.h