set_pte_vaddr_p4d   56 arch/x86/include/asm/pgtable_64.h void set_pte_vaddr_p4d(p4d_t *p4d_page, unsigned long vaddr, pte_t new_pte);
set_pte_vaddr_p4d  334 arch/x86/mm/init_64.c 	set_pte_vaddr_p4d(p4d_page, vaddr, pteval);