pmdval = __pa(pte_ptr) | _PAGE_KERNEL_TABLE; pmdp[0] = __pmd(pmdval); pmdp[1] = __pmd(pmdval + 256 * sizeof(pte_t)); flush_pmd_entry(pmdp); 
__pmd_populate(pmdp, __pa(pte_ptr) | _PAGE_KERNEL_TABLE); 
pmd_populate_kernel(struct mm_struct *mm, pmd_t *pmdp, pte_t *ptep){	unsigned long pte_ptr = (unsigned long)ptep;	unsigned long pmdval;	BUG_ON(mm != &init_mm);	/*	 * The pmd must be loaded with the physical	 * address of the PTE table	 */	pte_ptr -= PTRS_PER_PTE * sizeof(void *);	pmdval = __pa(pte_ptr) | _PAGE_KERNEL_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