pmd_populate_kernel (struct mm_struct *mm, pmd_t *pmd_entry, pte_t *pte) 
pmd_populate_kernel(struct mm_struct *mm, pmd_t * pmd_entry, pte_t * pte) 
pmd_populate_kernel (struct mm_struct *mm, pmd_t *pmd_entry, pte_t *pte){	pmd_val(*pmd_entry) = __pa(pte);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/fde740e4dd4a05ca8957490d468fa9b2770f5bd6/pgalloc.h/buggy/include/asm-ia64/pgalloc.h