Searched refs:user_p4d (Results 1 – 1 of 1) sorted by relevance
332 p4d_t *kernel_p4d, *user_p4d; in pti_clone_p4d() local335 user_p4d = pti_user_pagetable_walk_p4d(addr); in pti_clone_p4d()336 if (!user_p4d) in pti_clone_p4d()341 *user_p4d = *kernel_p4d; in pti_clone_p4d()