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

/freebsd-10.1-release/sys/powerpc/booke/
H A Dpmap.c1010 vm_offset_t kernel_pdir, kstack0, va; local
1065 kernel_pdir = data_end;
1070 debugf(" kernel pdir at 0x%08x end = 0x%08x\n", kernel_pdir, data_end);
1087 memset((void *)kernel_pdir, 0, kernel_ptbls * PTBL_PAGES * PAGE_SIZE);
1269 (pte_t *)(kernel_pdir + (i * PAGE_SIZE * PTBL_PAGES));

Completed in 50 milliseconds