Searched refs:free_empty_p4d_table (Results 1 – 1 of 1) sorted by relevance
1103 static void free_empty_p4d_table(pgd_t *pgdp, unsigned long addr, in free_empty_p4d_table() function1157 free_empty_p4d_table(pgdp, addr, next, floor, ceiling); in free_empty_tables()