Symbol: set_pte_vaddr_pud
arch/x86/include/asm/pgtable_64.h
59
void set_pte_vaddr_pud(pud_t *pud_page, unsigned long vaddr, pte_t new_pte);
arch/x86/xen/mmu_pv.c
2142
set_pte_vaddr_pud(level3_user_vsyscall, vaddr, pte);