Searched refs:kernel_pdir (Results 1 – 1 of 1) sorted by relevance
1725 vm_offset_t kernel_pdir, kstack0; in mmu_booke_bootstrap() local1777 kernel_pdir = data_end; in mmu_booke_bootstrap()1787 kernel_pdir, data_end); in mmu_booke_bootstrap()1805 memset((void *)kernel_pdir, 0, in mmu_booke_bootstrap()1809 memset((void *)kernel_pdir, 0, kernel_ptbls * PTBL_PAGES * PAGE_SIZE); in mmu_booke_bootstrap()1994 kernel_pte_alloc(virtual_avail, kernstart, kernel_pdir); in mmu_booke_bootstrap()