Searched refs:pdir_start (Results 1 – 1 of 1) sorted by relevance
629 vm_offset_t pdir_start; in kernel_pte_alloc() local635 pdir_start = kernel_ptbl_root + PDIR_NENTRIES * sizeof(pte_t); in kernel_pte_alloc()640 (pte_t *)(pdir_start + (i * PAGE_SIZE * PTBL_PAGES)); in kernel_pte_alloc()