Home
last modified time | relevance | path

Searched refs:kernel_p4d (Results 1 - 2 of 2) sorted by relevance

/kernel/linux/linux-5.10/arch/x86/mm/
H A Dpti.c419 p4d_t *kernel_p4d, *user_p4d; in pti_clone_p4d() local
427 kernel_p4d = p4d_offset(kernel_pgd, addr); in pti_clone_p4d()
428 *user_p4d = *kernel_p4d; in pti_clone_p4d()
/kernel/linux/linux-6.6/arch/x86/mm/
H A Dpti.c419 p4d_t *kernel_p4d, *user_p4d; in pti_clone_p4d() local
427 kernel_p4d = p4d_offset(kernel_pgd, addr); in pti_clone_p4d()
428 *user_p4d = *kernel_p4d; in pti_clone_p4d()

Completed in 2 milliseconds