Searched refs:vunmap_p4d_range (Results 1 – 1 of 1) sorted by relevance
134 static void vunmap_p4d_range(pgd_t *pgd, unsigned long addr, unsigned long end, in vunmap_p4d_range() function186 vunmap_p4d_range(pgd, addr, next, &mask); in unmap_kernel_range_noflush()