Searched refs:kernel_ptbl_root (Results 1 – 2 of 2) sorted by relevance
114 static pte_t ****kernel_ptbl_root; variable526 kernel_pmap->pm_root = kernel_ptbl_root; in kernel_pte_alloc()532 l1_va = (vm_offset_t)kernel_ptbl_root + in kernel_pte_alloc()537 printf("ptbl_root_va: %#lx\n", (vm_offset_t)kernel_ptbl_root); in kernel_pte_alloc()575 kernel_ptbl_root = (pte_t ****)data_end; in mmu_booke_alloc_kernel_pgtables()
109 static vm_offset_t kernel_ptbl_root; variable633 kernel_pmap->pm_pdir = (pte_t **)kernel_ptbl_root; in kernel_pte_alloc()635 pdir_start = kernel_ptbl_root + PDIR_NENTRIES * sizeof(pte_t); in kernel_pte_alloc()669 kernel_ptbl_root = data_end; in mmu_booke_alloc_kernel_pgtables()678 (uintmax_t)kernel_ptbl_root, (uintmax_t)data_end); in mmu_booke_alloc_kernel_pgtables()