Home | History | Annotate | Download | only in arm32

Lines Matching defs:kernel_base

237 	kern_vtopdiff = KERNEL_BASE + memstart;
484 	KASSERT(kernel_vm_base - KERNEL_BASE >= physical_end - physical_start);
652 	kasan_kernelstart = KERNEL_BASE;
653 	kasan_kernelsize = (msgbuf.pv_va + round_page(MSGBUFSIZE)) - KERNEL_BASE;
717 	const vaddr_t kernel_base =
720 	VPRINTF("%s: kernel_base %lx KERNEL_L2PT_KERNEL_NUM %zu\n", __func__,
721 	    kernel_base, KERNEL_L2PT_KERNEL_NUM);
724 		const vaddr_t va = kernel_base + idx * L2_S_SEGSIZE;
825 		KASSERTMSG(cur_pv.pv_va >= KERNEL_BASE, "%#lx", cur_pv.pv_va);
828 		cur_pv.pv_va = KERNEL_BASE;