Searched refs:p4d_start (Results 1 – 3 of 3) sorted by relevance
475 p4d_t *start, *p4d_start; in walk_p4d_level() local481 p4d_start = start = (p4d_t *)pgd_page_vaddr(addr); in walk_p4d_level()490 } else if (!kasan_page_table(m, st, p4d_start)) { in walk_p4d_level()
1140 remove_p4d_table(p4d_t *p4d_start, unsigned long addr, unsigned long end, in remove_p4d_table() argument1147 p4d = p4d_start + p4d_index(addr); in remove_p4d_table()
342 static void kasan_free_p4d(p4d_t *p4d_start, pgd_t *pgd) in kasan_free_p4d() argument348 p4d = p4d_start + i; in kasan_free_p4d()
