set_pte_vaddr_pud  223 arch/x86/mm/init_64.c 	set_pte_vaddr_pud(pud_page, vaddr, pteval);
set_pte_vaddr_pud 1171 arch/x86/xen/enlighten.c 		set_pte_vaddr_pud(level3_user_vsyscall, vaddr, pte);
set_pte_vaddr_pud   75 include/asm-x86/pgtable_64.h void set_pte_vaddr_pud(pud_t *pud_page, unsigned long vaddr, pte_t new_pte);