Searched defs:pgtable_free (Results 1 – 4 of 4) sorted by relevance
43 static inline void pgtable_free(void *table, int shift) in pgtable_free() function
40 static inline void pgtable_free(void *table, unsigned index_size) in pgtable_free() function
481 static inline void pgtable_free(void *table, int index) in pgtable_free() function
2927 void pgtable_free(void *table, bool is_page) in pgtable_free() function