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

/freebsd-10.1-release/sys/powerpc/booke/
H A Dpmap.c152 unsigned int kptbl_min; /* Index of the first kernel ptbl. */ variable
1259 kptbl_min = VM_MIN_KERNEL_ADDRESS / PDIR_SIZE;
1262 debugf("kptbl_min = %d, kernel_ptbls = %d\n", kptbl_min, kernel_ptbls);
1264 kptbl_min * PDIR_SIZE, (kptbl_min + kernel_ptbls) * PDIR_SIZE - 1);
1268 kernel_pmap->pm_pdir[kptbl_min + i] =

Completed in 115 milliseconds