pgd_free (pgd_t *pgd) 
static inline void pgd_free(pgd_t * pgd) 
pgd_free (pgd_t *pgd){	preempt_disable();	*(unsigned long *)pgd = (unsigned long) pgd_quicklist;	pgd_quicklist = (unsigned long *) pgd;	++pgtable_cache_size;	preempt_enable();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/fde740e4dd4a05ca8957490d468fa9b2770f5bd6/pgalloc.h/buggy/include/asm-ia64/pgalloc.h