/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);
|