Searched refs:pdir_va (Results 1 – 1 of 1) sorted by relevance
522 vm_offset_t va, l1_va, pdir_va, ptbl_va; in kernel_pte_alloc() local534 pdir_va = l1_va + pdir_l1s * PAGE_SIZE; in kernel_pte_alloc()535 ptbl_va = pdir_va + kernel_pdirs * PAGE_SIZE; in kernel_pte_alloc()539 printf("pdir_va: %#lx(%d entries)\n", pdir_va, kernel_pdirs); in kernel_pte_alloc()549 j++, pdir_va += PAGE_SIZE) { in kernel_pte_alloc()550 kernel_pmap->pm_root[i][j] = (pte_t **)pdir_va; in kernel_pte_alloc()