set_pte_vaddr_p4d - Linux

Symbol: set_pte_vaddr_p4d

arch/x86/include/asm/pgtable_64.h

void set_pte_vaddr_p4d(p4d_t *p4d_page, unsigned long vaddr, pte_t new_pte);

arch/x86/mm/init_64.c

set_pte_vaddr_p4d(p4d_page, vaddr, pteval);