HomeSort by: relevance | last modified time | path
    Searched defs:kernelend (Results 1 - 3 of 3) sorted by relevancy

  /src/sys/arch/arm/arm32/
arm32_kvminit.c 240 paddr_t kernelend = KERN_VTOPHYS(kendva); local in function:arm32_bootmem_init
244 VPRINTF("%s: kernelstart=%#lx, kernelend=%#lx\n", __func__,
245 kernelstart, kernelend);
265 bmi->bmi_kernelend = kernelend;
273 kernelend);
arm32_kvminit.c 240 paddr_t kernelend = KERN_VTOPHYS(kendva); local in function:arm32_bootmem_init
244 VPRINTF("%s: kernelstart=%#lx, kernelend=%#lx\n", __func__,
245 kernelstart, kernelend);
265 bmi->bmi_kernelend = kernelend;
273 kernelend);
arm32_kvminit.c 240 paddr_t kernelend = KERN_VTOPHYS(kendva); local in function:arm32_bootmem_init
244 VPRINTF("%s: kernelstart=%#lx, kernelend=%#lx\n", __func__,
245 kernelstart, kernelend);
265 bmi->bmi_kernelend = kernelend;
273 kernelend);

Completed in 73 milliseconds