Lines Matching defs:vaddr
113 static int map_tboot_page(unsigned long vaddr, unsigned long pfn,
122 pgd = pgd_offset(&tboot_mm, vaddr);
123 p4d = p4d_alloc(&tboot_mm, pgd, vaddr);
126 pud = pud_alloc(&tboot_mm, p4d, vaddr);
129 pmd = pmd_alloc(&tboot_mm, pud, vaddr);
132 pte = pte_alloc_map(&tboot_mm, pmd, vaddr);
135 set_pte_at(&tboot_mm, vaddr, pte, pfn_pte(pfn, prot));
151 static int map_tboot_pages(unsigned long vaddr, unsigned long start_pfn,
159 for (; nr > 0; nr--, vaddr += PAGE_SIZE, start_pfn++) {
160 if (map_tboot_page(vaddr, start_pfn, PAGE_KERNEL_EXEC))