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