set_pte_vaddr     319 arch/x86/mm/init_64.c void set_pte_vaddr(unsigned long vaddr, pte_t pteval)
set_pte_vaddr      28 arch/x86/mm/pgtable_32.c void set_pte_vaddr(unsigned long vaddr, pte_t pteval)