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