Searched defs:free_pgtable_page (Results 1 – 3 of 3) sorted by relevance
102 static inline void free_pgtable_page(u64 *pt) in free_pgtable_page() function
381 void free_pgtable_page(void *vaddr) in free_pgtable_page() function
520 void free_pgtable_page(void *vaddr) in free_pgtable_page() function