Searched defs:free_pgtable_page (Results 1 – 2 of 2) 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