Searched refs:pdir_l1s (Results 1 – 1 of 1) sorted by relevance
521 int kernel_pdirs, kernel_pgtbls, pdir_l1s; in kernel_pte_alloc() local527 pdir_l1s = howmany(kva_size, PG_ROOT_SIZE); 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()544 for (i = PG_ROOT_IDX(va); i < PG_ROOT_IDX(va) + pdir_l1s; in kernel_pte_alloc()