Searched refs:kernel_pgtbls (Results 1 – 1 of 1) sorted by relevance
521 int kernel_pdirs, kernel_pgtbls, pdir_l1s; in kernel_pte_alloc() local529 kernel_pgtbls = howmany(kva_size, PDIR_SIZE); in kernel_pte_alloc()540 printf("ptbl_va: %#lx(%d entries)\n", ptbl_va, kernel_pgtbls); in kernel_pte_alloc()