Searched refs:p4d_start (Results 1 – 2 of 2) sorted by relevance
327 static void kasan_free_p4d(p4d_t *p4d_start, pgd_t *pgd) in kasan_free_p4d() argument333 p4d = p4d_start + i; in kasan_free_p4d()
1142 remove_p4d_table(p4d_t *p4d_start, unsigned long addr, unsigned long end, in remove_p4d_table() argument1149 p4d = p4d_start + p4d_index(addr); in remove_p4d_table()