pte_fragment_free
pte_fragment_free((unsigned long *)table, 0);
pte_fragment_free((unsigned long *)table, 0);
void pte_fragment_free(unsigned long *table, int kernel);
pte_fragment_free((unsigned long *)pte, 1);
pte_fragment_free((unsigned long *)ptepage, 0);
pte_fragment_free(table, 0);
pte_fragment_free((unsigned long *)pgtable, 0);