Searched refs:l1_va (Results 1 – 1 of 1) sorted by relevance
522 vm_offset_t va, l1_va, pdir_va, ptbl_va; in kernel_pte_alloc() local532 l1_va = (vm_offset_t)kernel_ptbl_root + in kernel_pte_alloc()534 pdir_va = l1_va + pdir_l1s * PAGE_SIZE; in kernel_pte_alloc()538 printf("l1_va: %#lx (%d entries)\n", l1_va, pdir_l1s); in kernel_pte_alloc()545 i++, l1_va += PAGE_SIZE) { in kernel_pte_alloc()546 kernel_pmap->pm_root[i] = (pte_t ***)l1_va; in kernel_pte_alloc()