Searched refs:pagetable_free_kernel (Results 1 – 2 of 2) sorted by relevance
439 void pagetable_free_kernel(struct ptdesc *pt)440 void pagetable_free_kernel(struct ptdesc *pt) pagetable_free_kernel() function
3418 void pagetable_free_kernel(struct ptdesc *pt);3420 static inline void pagetable_free_kernel(struct ptdesc *pt) in pagetable_free_kernel() function 3436 pagetable_free_kernel(pt); in pagetable_free()