Searched refs:pagetable_free_kernel (Results 1 – 1 of 1) sorted by relevance
3808 void pagetable_free_kernel(struct ptdesc *pt);3810 static inline void pagetable_free_kernel(struct ptdesc *pt) in pagetable_free_kernel() function3826 pagetable_free_kernel(pt); in pagetable_free()