PTBL_PAGES
virtual_avail += PTBL_BUFS * PTBL_PAGES * PAGE_SIZE;
__func__, ptbl_buf_pool_vabase, PTBL_BUFS * PTBL_PAGES * PAGE_SIZE);
ptbl_buf_pool_vabase + i * PTBL_PAGES * PAGE_SIZE;
vm_page_t mtbl[PTBL_PAGES];
for (i = 0; i < PTBL_PAGES; i++) {
pidx = (PTBL_PAGES * pdir_idx) + i;
mmu_booke_qenter((vm_offset_t)ptbl, mtbl, PTBL_PAGES);
bzero((caddr_t)ptbl, PTBL_PAGES * PAGE_SIZE);
for (i = 0; i < PTBL_PAGES; i++) {
for (i = 0; i < PTBL_PAGES; i++) {
for (i = 0; i < PTBL_PAGES; i++) {
(pte_t *)(pdir_start + (i * PAGE_SIZE * PTBL_PAGES));
data_end += kernel_ptbls * PTBL_PAGES * PAGE_SIZE;