Searched refs:kstartva (Results 1 – 1 of 1) sorted by relevance
224 vaddr_t kstartva = trunc_page((vaddr_t)KERNEL_BASE_virt); in arm32_bootmem_init() local227 kernelstart = KERN_VTOPHYS(kstartva); in arm32_bootmem_init()229 VPRINTF("%s: kstartva=%#lx, kernelstart=%#lx\n", __func__, kstartva, kernelstart); in arm32_bootmem_init()