Searched defs:pgtable_free (Results 1 – 4 of 4) sorted by relevance
37 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
452 static inline void pgtable_free(void *table, int index) in pgtable_free() function
2939 void pgtable_free(void *table, bool is_page) in pgtable_free() function