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

/arch/x86/mm/
A D	pti.c	431 p4d_t *kernel_p4d, *user_p4d; in pti_clone_p4d() local 439 kernel_p4d = p4d_offset(kernel_pgd, addr); in pti_clone_p4d() 440 *user_p4d = *kernel_p4d; in pti_clone_p4d()

Completed in 10 milliseconds

Last Index update Fri Aug 22 10:33:58 CST 2025