static 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) 
static inline pte_t *pte_alloc_one_kernel(struct mm_struct *mm, unsigned long address){	return kmem_cache_alloc(pgtable_cache[PTE_CACHE_NUM],				GFP_KERNEL|__GFP_REPEAT);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3c726f8dee6f55e96475574e9f645327e461884c/pgalloc.h/buggy/include/asm-ppc64/pgalloc.h