/* in the non-PAE case, clear_page_range() clears user pgd entries */ 
/* in the non-PAE case, free_pgtables() clears user pgd entries */ 
void pgd_free(pgd_t *pgd){	int i;	/* in the PAE case user pgd entries are overwritten before usage */	if (PTRS_PER_PMD > 1)		for (i = 0; i < USER_PTRS_PER_PGD; ++i)			kmem_cache_free(pmd_cache, (void *)__va(pgd_val(pgd[i])-1));	/* in the non-PAE case, clear_page_range() clears user pgd entries */	kmem_cache_free(pgd_cache, pgd);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e0da382c92626ad1d7f4b7527d19b80104d67a83/pgtable.c/buggy/arch/i386/mm/pgtable.c