Searched defs:pgtable_free (Results 1 – 3 of 3) 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
2927 void pgtable_free(void *table, bool is_page) in pgtable_free() function