free_pointer_table

19

extern int free_pointer_table(void *table, int type);

34

free_pointer_table(pte, TABLE_PTE);

44

free_pointer_table(pgtable, TABLE_PTE);

50

free_pointer_table(pgtable, TABLE_PTE);

61

return free_pointer_table(pmd, TABLE_PMD);

67

return free_pointer_table(pmd, TABLE_PMD);

73

free_pointer_table(pgd, TABLE_PGD);