Searched refs:kernel_pdirs (Results 1 – 1 of 1) sorted by relevance
112 unsigned int kernel_pdirs; variable521 int kernel_pdirs, kernel_pgtbls, pdir_l1s; in kernel_pte_alloc() local528 kernel_pdirs = howmany(kva_size, PDIR_L1_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()