Searched refs:p4d_free_pud_page (Results 1 – 1 of 1) sorted by relevance
1059 int p4d_free_pud_page(p4d_t *p4d, unsigned long addr);1087 static inline int p4d_free_pud_page(p4d_t *p4d, unsigned long addr) in p4d_free_pud_page() function