Searched refs:p4d_start (Results 1 – 3 of 3) sorted by relevance
463 p4d_t *start, *p4d_start; in walk_p4d_level() local469 p4d_start = start = (p4d_t *)pgd_page_vaddr(addr); in walk_p4d_level()478 } else if (!kasan_page_table(m, st, p4d_start)) { in walk_p4d_level()
1080 remove_p4d_table(p4d_t *p4d_start, unsigned long addr, unsigned long end, in remove_p4d_table() argument1087 p4d = p4d_start + p4d_index(addr); in remove_p4d_table()
326 static void kasan_free_p4d(p4d_t *p4d_start, pgd_t *pgd) in kasan_free_p4d() argument332 p4d = p4d_start + i; in kasan_free_p4d()
