pte_alloc_one_kernel (struct mm_struct *mm, unsigned long addr) 
static inline pte_t *pte_alloc_one_kernel(struct mm_struct *mm, unsigned long addr) 
pte_alloc_one_kernel (struct mm_struct *mm, unsigned long addr){	pte_t *pte = (pte_t *)__get_free_page(GFP_KERNEL|__GFP_REPEAT|__GFP_ZERO);	return pte;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/fde740e4dd4a05ca8957490d468fa9b2770f5bd6/pgalloc.h/buggy/include/asm-ia64/pgalloc.h