Searched refs:kernel_ptbls (Results 1 – 1 of 1) sorted by relevance
110 static unsigned int kernel_ptbls; /* Number of KVA ptbls. */ variable638 for (i = 0; i < kernel_ptbls; i++) { in kernel_pte_alloc()673 kernel_ptbls = howmany(VM_MAX_KERNEL_ADDRESS - VM_MIN_KERNEL_ADDRESS, in mmu_booke_alloc_kernel_pgtables()675 data_end += kernel_ptbls * PTBL_PAGES * PAGE_SIZE; in mmu_booke_alloc_kernel_pgtables()676 debugf(" kernel ptbls: %d\n", kernel_ptbls); in mmu_booke_alloc_kernel_pgtables()