Searched refs:free_p4d_range (Results 1 – 1 of 1) sorted by relevance
298 static inline void free_p4d_range(struct mmu_gather *tlb, pgd_t *pgd, in free_p4d_range() function392 free_p4d_range(tlb, pgd, addr, next, floor, ceiling); in free_pgd_range()