pte_free (struct page *pte) 
static inline void pte_free(struct page *pte) 
pte_free (struct page *pte){	__free_page(pte);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/fde740e4dd4a05ca8957490d468fa9b2770f5bd6/pgalloc.h/buggy/include/asm-ia64/pgalloc.h