pte_fragment_free

49

pte_fragment_free((unsigned long *)table, 0);

46

pte_fragment_free((unsigned long *)table, 0);

36

void pte_fragment_free(unsigned long *table, int kernel);

40

pte_fragment_free((unsigned long *)pte, 1);

45

pte_fragment_free((unsigned long *)ptepage, 0);

484

pte_fragment_free(table, 0);

139

pte_fragment_free((unsigned long *)pgtable, 0);