Searched refs:kernel_ptbls (Results 1 – 1 of 1) sorted by relevance
184 unsigned int kernel_ptbls; /* Number of KVA ptbls. */ variable1689 for (i = 0; i < kernel_ptbls; i++) in kernel_pte_alloc()1778 kernel_ptbls = howmany(VM_MAX_KERNEL_ADDRESS - VM_MIN_KERNEL_ADDRESS, in mmu_booke_bootstrap()1781 kernel_pdirs = howmany(kernel_ptbls, PDIR_NENTRIES); in mmu_booke_bootstrap()1784 data_end += kernel_ptbls * PTBL_PAGES * PAGE_SIZE; in mmu_booke_bootstrap()1785 debugf(" kernel ptbls: %d\n", kernel_ptbls); in mmu_booke_bootstrap()1807 kernel_ptbls * PTBL_PAGES * PAGE_SIZE); in mmu_booke_bootstrap()1809 memset((void *)kernel_pdir, 0, kernel_ptbls * PTBL_PAGES * PAGE_SIZE); in mmu_booke_bootstrap()