pti_user_pagetable_walk_p4d  206 arch/x86/mm/pti.c 	p4d = pti_user_pagetable_walk_p4d(address);
pti_user_pagetable_walk_p4d  423 arch/x86/mm/pti.c 	user_p4d = pti_user_pagetable_walk_p4d(addr);