free_page((unsigned long) pte); 
pgtable_quicklist_free(pte); 
pte_free_kernel (pte_t *pte){	free_page((unsigned long) pte);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/fde740e4dd4a05ca8957490d468fa9b2770f5bd6/pgalloc.h/buggy/include/asm-ia64/pgalloc.h