Searched refs:free_pointer_table (Results 1 – 2 of 2) sorted by relevance
19 extern int free_pointer_table(void *table, int type);34 free_pointer_table(pte, TABLE_PTE); in pte_free_kernel()44 free_pointer_table(pgtable, TABLE_PTE); in pte_free()50 free_pointer_table(pgtable, TABLE_PTE); in __pte_free_tlb()61 return free_pointer_table(pmd, TABLE_PMD); in pmd_free()67 return free_pointer_table(pmd, TABLE_PMD); in __pmd_free_tlb()73 free_pointer_table(pgd, TABLE_PGD); in pgd_free()
186 int free_pointer_table(void *table, int type) in free_pointer_table() function