Searched refs:kernel_pdir (Results 1 - 1 of 1) sorted by relevance

/freebsd-11.0-release/sys/powerpc/booke/
H A Dpmap.c1064 vm_offset_t kernel_pdir, kstack0; local
1117 kernel_pdir = data_end;
1122 debugf(" kernel pdir at 0x%08x end = 0x%08x\n", kernel_pdir, data_end);
1139 memset((void *)kernel_pdir, 0, kernel_ptbls * PTBL_PAGES * PAGE_SIZE);
1319 kernel_pte_alloc(data_end, kernstart, kernel_pdir);

Completed in 65 milliseconds