Lines Matching defs:kernelstart
210 arm32_bootmem_init(paddr_t memstart, psize_t memsize, vsize_t kernelstart)
227 kernelstart = KERN_VTOPHYS(kstartva);
229 VPRINTF("%s: kstartva=%#lx, kernelstart=%#lx\n", __func__, kstartva, kernelstart);
236 KASSERT(memstart == kernelstart);
244 VPRINTF("%s: kernelstart=%#lx, kernelend=%#lx\n", __func__,
245 kernelstart, kernelend);
264 bmi->bmi_kernelstart = kernelstart;
272 VPRINTF("%s: kernel phys start %#lx end %#lx\n", __func__, kernelstart,
277 KASSERT((kernelstart & (L2_S_SEGSIZE - 1)) == 0);