Searched defs:pgtable_free (Results 1 – 3 of 3) sorted by relevance
40 static inline void pgtable_free(void *table, unsigned index_size) in pgtable_free() function
123 static inline void pgtable_free(void *table, unsigned index_size) in pgtable_free() function
79 static inline void pgtable_free(void *table, bool is_page) in pgtable_free() function