Lines Matching defs:kernelstart
3163 pmap_bootstrap1(paddr_t kernelstart, paddr_t kernelend)
3212 kernelstart = trunc_page(kernelstart);
3244 else if (s < kernelstart && e > kernelstart) {
3250 mp->size = kernelstart - s;
3263 else if (s >= kernelstart && e <= kernelend) {
3529 for (pa = kernelstart; va < va_etext;
3543 for (va = 0, pa = 0; va < kernelstart;
3604 pmap_bootstrap(paddr_t kernelstart, paddr_t kernelend)
3606 pmap_bootstrap1(kernelstart, kernelend);